Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/dac/BryantM98
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/dac/BryantM98
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/b/REBryant + , https://dblp.org/pid/61/4518 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1145/277044.277137 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1145/277044.277137 + , http://dx.doi.org/10.1145/277044.277137 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/dac/dac98 +
https://dblp.org/rdf/schema#numberOfCreators 2
https://dblp.org/rdf/schema#pagination 327
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1145/277044.277137 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/dac/1998 +
https://dblp.org/rdf/schema#publishedIn DAC
https://dblp.org/rdf/schema#publishedInBook DAC
https://dblp.org/rdf/schema#title User Experience with High Level Formal Verification (Panel).
https://dblp.org/rdf/schema#yearOfEvent 1998
https://dblp.org/rdf/schema#yearOfPublication 1998
owl:sameAs https://doi.org/10.1145/277044.277137 + , http://dx.doi.org/10.1145/277044.277137 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Randal E. Bryant and Gerry Musgrave: User Experience with High Level Formal Verification (Panel). (1998)
hide properties that link here 
  This page has no properties.
 

 

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