Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/icse/DongLLW04

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/33/6517 + , https://dblp.org/pid/47/2241 + , https://dblp.org/pid/20/2537 + , https://dblp.org/pid/45/1539 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1109/ICSE.2004.1317442 + , https://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317442 + , http://dl.acm.org/citation.cfm?id=999425 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1109/ICSE.2004.1317442 + , http://dx.doi.org/10.1109/ICSE.2004.1317442 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/icse/icse2004 +
https://dblp.org/rdf/schema#numberOfCreators	4
https://dblp.org/rdf/schema#pagination	201-210
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1109/ICSE.2004.1317442 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/icse/2004 +
https://dblp.org/rdf/schema#publishedIn	ICSE
https://dblp.org/rdf/schema#publishedInBook	ICSE
https://dblp.org/rdf/schema#title	Verifying DAML+OIL and Beyond in Z/EVES.
https://dblp.org/rdf/schema#yearOfEvent	2004
https://dblp.org/rdf/schema#yearOfPublication	2004
owl:sameAs	https://doi.org/10.1109/ICSE.2004.1317442 + , http://dx.doi.org/10.1109/ICSE.2004.1317442 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Jin Song Dong et al.: Verifying DAML+OIL and Beyond in Z/EVES. (2004)

	This page has no properties.

Navigation menu