Treffer: Model checking pushdown systems
Titel:
Model checking pushdown systems / Stefan Schwoon
Beteiligt:
Entstehung:
2002
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Technische Universität München, 2002
Schlagworte: