Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/journals/sqj/BauchHB16
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/journals/sqj/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#createdBy https://dblp.org/pid/94/9033 + , https://dblp.org/pid/132/1822 + , https://dblp.org/pid/b/JiriBarnat +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.1007/S11219-014-9259-X +
https://dblp.org/rdf/schema#doi https://doi.org/10.1007/S11219-014-9259-X +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/journals/sqj/sqj24 +
https://dblp.org/rdf/schema#numberOfCreators 3
https://dblp.org/rdf/schema#pagination 37-63
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.1007/S11219-014-9259-X +
https://dblp.org/rdf/schema#publishedIn Softw. Qual. J.
https://dblp.org/rdf/schema#publishedInJournal Softw. Qual. J.
https://dblp.org/rdf/schema#publishedInJournalVolume 24
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue 1
https://dblp.org/rdf/schema#publishedInStream https://dblp.org/streams/journals/sqj +
https://dblp.org/rdf/schema#title Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q120907728 +
https://dblp.org/rdf/schema#yearOfPublication 2016
owl:sameAs https://doi.org/10.1007/S11219-014-9259-X + , http://dx.doi.org/10.1007/S11219-014-9259-X + , http://www.wikidata.org/entity/Q120907728 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label Petr Bauch et al.: Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories. (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-2Fsqj-2FBauchHB16"