Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/journals/corr/Mamouras16

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/48/6846 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#createdBy	https://dblp.org/pid/48/6846 +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.2168/LMCS-12%283:6%292016 + , http://arxiv.org/abs/1606.09110 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.2168/LMCS-12%283:6%292016 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/journals/lmcs/lmcs12 +
https://dblp.org/rdf/schema#numberOfCreators	1
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.2168/LMCS-12%283:6%292016 +
https://dblp.org/rdf/schema#publishedIn	Log. Methods Comput. Sci.
https://dblp.org/rdf/schema#publishedInJournal	Log. Methods Comput. Sci.
https://dblp.org/rdf/schema#publishedInJournalVolume	12
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue	3
https://dblp.org/rdf/schema#publishedInStream	https://dblp.org/streams/journals/lmcs +
https://dblp.org/rdf/schema#title	Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism.
https://dblp.org/rdf/schema#yearOfPublication	2016
owl:sameAs	https://doi.org/10.2168/LMCS-12%283:6%292016 + , http://dx.doi.org/10.2168/LMCS-12%283:6%292016 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label	Konstantinos Mamouras: Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism. (2016)

	This page has no properties.

Navigation menu