Treffer: Algorithms and data structures for parametric analysis of real-time systems
Titel:
Algorithms and data structures for parametric analysis of real-time systems / vorgelegt von Patryk Chamuczyński
Beteiligt:
Entstehung:
2009
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Georg-August Universität Göttingen, 2009
Schlagworte: