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

​Grabowski, Jens. "Statische und Dynamische Analysen für SDL-Spezifikationen auf der Basis von Petri Netzen und Sequence Charts​." PhD diss., ​​Universität Hamburg, ​Hamburg, ​1990. 

Copy

Further links

Documents & Media

License

GRO License GRO License

Details

Authors
Grabowski, Jens 
Issue Date
1990
Language
German

Export Metadata

Refman EndNote BibTeX RefWorks Excel CSV

Reference

Citations