The model checking fingerprints of CTL operators

DSpace Repository

The model checking fingerprints of CTL operators

Author: Krebs, Andreas; Meier, Arne; Mundhenk, Martin
Tübinger Autor(en):
Krebs, Andreas
Published in: Acta Informatica (2019), Bd. 56, H. 6, S. 487-519
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s00236-018-0326-9
ISSN: 1432-0525
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)