Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/spin/LiFK02
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/spin/LiFK02
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/07/3117 + , https://dblp.org/pid/04/4803 + , https://dblp.org/pid/k/SKrishnamurthi +
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-46017-9_7 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1007/3-540-46017-9_7 + , http://dx.doi.org/10.1007/3-540-46017-9_7 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/spin/spin2002 +
https://dblp.org/rdf/schema#numberOfCreators 3
https://dblp.org/rdf/schema#pagination 60-78
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1007/3-540-46017-9_7 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/spin/2002 +
https://dblp.org/rdf/schema#publishedIn SPIN
https://dblp.org/rdf/schema#publishedInBook SPIN
https://dblp.org/rdf/schema#title The Influence of Software Module Systems on Modular Verification.
https://dblp.org/rdf/schema#yearOfEvent 2002
https://dblp.org/rdf/schema#yearOfPublication 2002
owl:sameAs https://doi.org/10.1007/3-540-46017-9_7 + , http://dx.doi.org/10.1007/3-540-46017-9_7 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Harry C. Li et al.: The Influence of Software Module Systems on Modular Verification. (2002)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fconf-2Fspin-2FLiFK02"