A PVS Approach to Verifying ORA-SS Data Models. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/seke/LeeDSG06>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Gillian_Dobbie>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Jing_Sun_0002>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Lindsay_Groves>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Scott_Uk-Jin_Lee>
dc:identifier	DBLP conf/seke/LeeDSG06 (xsd:string)
dcterms:issued	2006 (xsd:gYear)
rdfs:label	A PVS Approach to Verifying ORA-SS Data Models. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Gillian_Dobbie>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Jing_Sun_0002>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Lindsay_Groves>
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Scott_Uk-Jin_Lee>
swrc:pages	126-131 (xsd:string)
dcterms:partOf	<https://dblp.l3s.de/d2r/resource/publications/conf/seke/2006>
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/seke/LeeDSG06/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/seke/LeeDSG06>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/conf/seke/seke2006.html#LeeDSG06>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/seke>
dc:title	A PVS Approach to Verifying ORA-SS Data Models. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:InProceedings
rdf:type	foaf:Document