Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/ictac/BezdekBHBC14

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/150/6922 + , https://dblp.org/pid/71/1110 + , https://dblp.org/pid/132/1822 + , https://dblp.org/pid/b/JiriBarnat + , https://dblp.org/pid/c/IvanaCerna +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1007/978-3-319-10882-7_4 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/978-3-319-10882-7_4 + , http://dx.doi.org/10.1007/978-3-319-10882-7_4 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/ictac/ictac2014 +
https://dblp.org/rdf/schema#numberOfCreators	5
https://dblp.org/rdf/schema#pagination	43-60
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/978-3-319-10882-7_4 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/ictac/2014 +
https://dblp.org/rdf/schema#publishedIn	ICTAC
https://dblp.org/rdf/schema#publishedInBook	ICTAC
https://dblp.org/rdf/schema#title	On Clock-Aware LTL Properties of Timed Automata.
https://dblp.org/rdf/schema#yearOfEvent	2014
https://dblp.org/rdf/schema#yearOfPublication	2014
owl:sameAs	https://doi.org/10.1007/978-3-319-10882-7_4 + , http://dx.doi.org/10.1007/978-3-319-10882-7_4 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Peter Bezdek et al.: On Clock-Aware LTL Properties of Timed Automata. (2014)

	This page has no properties.

Navigation menu