Meta data
- BibTeX key
- conf/seke/LeeDSG06
- entry type
- inproceedings
- booktitle
- SEKE
- year
- 2006
- pages
- 126-131
- crossref
- conf/seke/2006
- ee
- http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2006_Proceedings.pdf
- isbn
- 1-891706-18-7
- url
- http://dblp.uni-trier.de/db/conf/seke/seke2006.html#LeeDSG06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/seke/LeeDSG06
%A Lee, Scott Uk-Jin
%A Dobbie, Gillian
%A Sun, Jing
%A Groves, Lindsay
%B SEKE
%D 2006
%E Zhang, Kang
%E Spanoudakis, George
%E Visaggio, Giuseppe
%K dblp
%P 126-131
%T A PVS Approach to Verifying ORA-SS Data Models.
%U http://dblp.uni-trier.de/db/conf/seke/seke2006.html#LeeDSG06
%@ 1-891706-18-7
@inproceedings{conf/seke/LeeDSG06,
added-at = {2011-08-09T00:00:00.000+0200},
author = {Lee, Scott Uk-Jin and Dobbie, Gillian and Sun, Jing and Groves, Lindsay},
biburl = {https://www.bibsonomy.org/bibtex/20c886bf04541a460b9c1f7d5c6a203b3/dblp},
booktitle = {SEKE},
crossref = {conf/seke/2006},
editor = {Zhang, Kang and Spanoudakis, George and Visaggio, Giuseppe},
ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2006_Proceedings.pdf},
interhash = {b367ef8019a25d9505592854160196ce},
intrahash = {0c886bf04541a460b9c1f7d5c6a203b3},
isbn = {1-891706-18-7},
keywords = {dblp},
pages = {126-131},
timestamp = {2020-03-13T12:22:12.000+0100},
title = {A PVS Approach to Verifying ORA-SS Data Models.},
url = {http://dblp.uni-trier.de/db/conf/seke/seke2006.html#LeeDSG06},
year = 2006
}