> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Exploring the limits of parameterized system verification Beteiligte: Stahl, Karsten [Verfasser:in] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Parametrisiertes System > Verifikation > Entscheidbarkeit > Model Checking > Lebendigkeit > Abstraktion Entstehung: Hochschulschrift: Kiel, Univ., Diss., 2003 Anmerkungen: Zugangsstatus: Freier Zugang