The model checking fingerprints of CTL operators

dc.contributor.author	Krebs, Andreas
dc.date.accessioned	2020-02-05T14:48:37Z
dc.date.available	2020-02-05T14:48:37Z
dc.date.issued	2019
dc.identifier.issn	1432-0525
dc.identifier.uri	http://hdl.handle.net/10900/97652
dc.language.iso	en	en
dc.publisher	Springer	de_DE
dc.relation.uri	http://dx.doi.org/10.1007/s00236-018-0326-9
dc.subject.ddc	004	de_DE
dc.title	The model checking fingerprints of CTL operators	de_DE
dc.type	Article	de_DE
utue.quellen.id	20190926111821_00116
utue.publikation.seiten	487-519	de_DE
utue.personen.roh	Krebs, Andreas
utue.personen.roh	Meier, Arne
utue.personen.roh	Mundhenk, Martin
dcterms.isPartOf.ZSTitelID	Acta Informatica	de_DE
dcterms.isPartOf.ZS-Issue	6	de_DE
dcterms.isPartOf.ZS-Volume	56	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät