Browse Wiki & Semantic Web
Https://dblp.org/rec/conf/eurovav/AgustiPS91 |
This page has no properties. |
hide properties that link here |
No properties link to this page. |
https://dblp.org/rec/conf/eurovav/AgustiPS91 |
https://dblp.org/rdf/schema#authoredBy | https://dblp.org/pid/42/3901 + , https://dblp.org/pid/p/EnricPlaza + , https://dblp.org/pid/s/CarlesSierra + |
---|---|
https://dblp.org/rdf/schema#bibtexType | http://purl.org/net/nknouf/ns/bibtex#Inproceedings + |
https://dblp.org/rdf/schema#listedOnTocPage | https://dblp.org/db/conf/eurovav/eurovav1991 + |
https://dblp.org/rdf/schema#numberOfCreators | 3 |
https://dblp.org/rdf/schema#pagination | 211-226 |
https://dblp.org/rdf/schema#publishedAsPartOf | https://dblp.org/rec/conf/eurovav/1991 + |
https://dblp.org/rdf/schema#publishedIn | EUROVAV |
https://dblp.org/rdf/schema#publishedInBook | EUROVAV |
https://dblp.org/rdf/schema#title | Verification by Construction in MILORD. |
https://dblp.org/rdf/schema#yearOfEvent | 1991 |
https://dblp.org/rdf/schema#yearOfPublication | 1991 |
rdf:type | https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings + |
rdfs:label | Jaume AgustÃ-Cullell et al.: Verification by Construction in MILORD. (1991) |
hide properties that link here |
This page has no properties. |