Statische und Dynamische Analysen für SDL-Spezifikationen auf der Basis von Petri Netzen und Sequence Charts

1990 | thesis; diploma thesis

Jump to: Cite & Linked | Documents & Media | Details | Version history

Cite this publication

​Statische und Dynamische Analysen für SDL-Spezifikationen auf der Basis von Petri Netzen und Sequence Charts​
Grabowski, J. ​ (1990)
Universität Hamburg. 
Hamburg​

Documents & Media

License

GRO License GRO License

Details

Authors
Grabowski, Jens 
Issue Date
1990
Language
German

Reference

Citations