Transition-based directed model checking

Gespeichert in:

Personen und Körperschaften:	Wehrle, Martin (VerfasserIn)
Titel:	Transition-based directed model checking/ Martin Wehrle
Hochschulschriftenvermerk:	Freiburg i. Br., Univ., Diss., 2011
Format:	E-Book Hochschulschrift
Sprache:	Englisch
veröffentlicht:	2011
Schlagwörter:	Hochschulschrift
Druckausg.:	Wehrle, Martin, Transition-based directed model checking, 2011, XII, 100 S.
Quelle:	Verbunddaten SWB Lizenzfreie Online-Ressourcen

Online

Volltext