Treffer: Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
Titel:
Verantwortlich:
Entstehung:
2000
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Deutsch
Hochschulschrift:
Dissertation, Technische Universität München, 2000
Schlagworte: