> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Explicit state space verification Beteiligte: Wolf, Karsten [Verfasser] Sprache: Englisch Identifikator: Schlagwörter: Diskretes System > Verifikation > Zustandsraum > Graphersetzungssystem > Temporale Logik > Model Checking Entstehung: Hochschulschrift: Berlin, Humboldt-Univ., Habil.-Schr., 2002 Anmerkungen: Zugangsstatus: Freier Zugang