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
1990 | thesis; diploma thesis
Jump to: Cite & Linked | Documents & Media | Details | Version history
Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution 4.0 International license.