Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/cav/BryantLS02

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/b/REBryant + , https://dblp.org/pid/32/2903 + , https://dblp.org/pid/s/SanjitASeshia +
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/3-540-45657-0_7 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/3-540-45657-0_7 + , http://dx.doi.org/10.1007/3-540-45657-0_7 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/cav/cav2002 +
https://dblp.org/rdf/schema#numberOfCreators	3
https://dblp.org/rdf/schema#pagination	78-92
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/3-540-45657-0_7 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/cav/2002 +
https://dblp.org/rdf/schema#publishedIn	CAV
https://dblp.org/rdf/schema#publishedInBook	CAV
https://dblp.org/rdf/schema#title	Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.
https://dblp.org/rdf/schema#yearOfEvent	2002
https://dblp.org/rdf/schema#yearOfPublication	2002
owl:sameAs	https://doi.org/10.1007/3-540-45657-0_7 + , http://dx.doi.org/10.1007/3-540-45657-0_7 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Randal E. Bryant et al.: Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. (2002)

	This page has no properties.

Navigation menu