Treffer: Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Titel:
Verantwortlich:
Entstehung:
2004
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Deutsch
Hochschulschrift:
Dissertation, Technische Universität Ilmenau, 2004
Schlagworte: