Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/atva/LiGLL05
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/atva/LiGLL05
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/08/5261 + , https://dblp.org/pid/73/1810-3 + , https://dblp.org/pid/51/3577 + , https://dblp.org/pid/92/2914 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#createdBy https://dblp.org/pid/08/5261 + , https://dblp.org/pid/73/1810-3 + , https://dblp.org/pid/51/3577 + , https://dblp.org/pid/92/2914 +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1007/11562948_15 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1007/11562948_15 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/atva/atva2005 +
https://dblp.org/rdf/schema#numberOfCreators 4
https://dblp.org/rdf/schema#pagination 174-186
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1007/11562948_15 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/atva/2005 +
https://dblp.org/rdf/schema#publishedIn ATVA
https://dblp.org/rdf/schema#publishedInBook ATVA
https://dblp.org/rdf/schema#publishedInStream https://dblp.org/streams/conf/atva +
https://dblp.org/rdf/schema#title Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.
https://dblp.org/rdf/schema#yearOfEvent 2005
https://dblp.org/rdf/schema#yearOfPublication 2005
owl:sameAs https://doi.org/10.1007/11562948_15 + , http://dx.doi.org/10.1007/11562948_15 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Tun Li et al.: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. (2005)
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-2Fatva-2FLiGLL05"