Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/tosem/BauchHB16
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/tosem/BauchHB16
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/94/9033 + , https://dblp.org/pid/132/1822 + , https://dblp.org/pid/b/JiriBarnat +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1145/2888393 +
https://dblp.org/rdf/schema#doi https://doi.org/10.1145/2888393 + , http://dx.doi.org/10.1145/2888393 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/tosem/tosem25 +
https://dblp.org/rdf/schema#numberOfCreators 3
https://dblp.org/rdf/schema#pagination 15:1-15:48
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1145/2888393 +
https://dblp.org/rdf/schema#publishedIn ACM Trans. Softw. Eng. Methodol.
https://dblp.org/rdf/schema#publishedInJournal ACM Trans. Softw. Eng. Methodol.
https://dblp.org/rdf/schema#publishedInJournalVolume 25
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 2
https://dblp.org/rdf/schema#title Control Explicit-Data Symbolic Model Checking.
https://dblp.org/rdf/schema#yearOfPublication 2016
owl:sameAs https://doi.org/10.1145/2888393 + , http://dx.doi.org/10.1145/2888393 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Petr Bauch et al.: Control Explicit-Data Symbolic Model Checking. (2016)
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-2Fjournals-2Ftosem-2FBauchHB16"