The model checking fingerprints of CTL operators

DSpace Repositorium (Manakin basiert)

The model checking fingerprints of CTL operators

Autor(en): Krebs, Andreas; Meier, Arne; Mundhenk, Martin
Tübinger Autor(en):
Krebs, Andreas
Erschienen in: Acta Informatica (2019), Bd. 56, H. 6, S. 487-519
Verlagsangabe: Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s00236-018-0326-9
ISSN: 1432-0525
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: