Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/modelsward/HarelKMW15
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/modelsward/HarelKMW15
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/h/DavidHarel + , https://dblp.org/pid/23/10321 + , https://dblp.org/pid/98/5121 + , https://dblp.org/pid/52/1274 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage https://doi.org/10.5220/0005324203630369 + , https://ieeexplore.ieee.org/document/7323118/ +
https://dblp.org/rdf/schema#doi https://doi.org/10.5220/0005324203630369 + , http://dx.doi.org/10.5220/0005324203630369 +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/modelsward/modelsward2015 +
https://dblp.org/rdf/schema#numberOfCreators 4
https://dblp.org/rdf/schema#pagination 363-369
https://dblp.org/rdf/schema#primaryDocumentPage https://doi.org/10.5220/0005324203630369 +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/modelsward/2015 +
https://dblp.org/rdf/schema#publishedIn MODELSWARD
https://dblp.org/rdf/schema#publishedInBook MODELSWARD
https://dblp.org/rdf/schema#title The Effect of Concurrent Programming Idioms on Verification - A Position Paper.
https://dblp.org/rdf/schema#yearOfEvent 2015
https://dblp.org/rdf/schema#yearOfPublication 2015
owl:sameAs https://doi.org/10.5220/0005324203630369 + , http://dx.doi.org/10.5220/0005324203630369 +
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label David Harel et al.: The Effect of Concurrent Programming Idioms on Verification - A Position Paper. (2015)
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-2Fmodelsward-2FHarelKMW15"