> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Bounded saturation-based CTL model checking Beteiligte: Vörös, A; Darvas, D; Bartha, T Erschienen: Estonian Academy Publishers, 2013 Erschienen in: Proceedings of the Estonian Academy of Sciences, 62 (2013) 1, Seite 59 Sprache: Englisch DOI: 10.3176/proc.2013.1.07 ISSN: 1736-6046 Schlagwörter: General Engineering Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang