Meta data
- BibTeX key
- conf/seke/HsiungL05
- entry type
- inproceedings
- booktitle
- SEKE
- year
- 2005
- pages
- 596-601
- crossref
- conf/seke/2005
- ee
- http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2005_Proceedings.pdf
- isbn
- 1-891706-16-0
- url
- http://dblp.uni-trier.de/db/conf/seke/seke2005.html#HsiungL05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/seke/HsiungL05
%A Hsiung, Pao-Ann
%A Lin, Yen-Hung
%B SEKE
%D 2005
%E Chu, William C.
%E Juzgado, Natalia Juristo
%E Wong, W. Eric
%K dblp
%P 596-601
%T Model-based Verification of Safety-Critical Systems.
%U http://dblp.uni-trier.de/db/conf/seke/seke2005.html#HsiungL05
%@ 1-891706-16-0
@inproceedings{conf/seke/HsiungL05,
added-at = {2007-03-01T00:00:00.000+0100},
author = {Hsiung, Pao-Ann and Lin, Yen-Hung},
biburl = {https://www.bibsonomy.org/bibtex/2bd5ebdf6ebdbac2f0e9d852231d55b44/dblp},
booktitle = {SEKE},
crossref = {conf/seke/2005},
editor = {Chu, William C. and Juzgado, Natalia Juristo and Wong, W. Eric},
ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2005_Proceedings.pdf},
interhash = {1b33490a9d3ebda67df6c57e563ba702},
intrahash = {bd5ebdf6ebdbac2f0e9d852231d55b44},
isbn = {1-891706-16-0},
keywords = {dblp},
pages = {596-601},
timestamp = {2020-03-13T12:20:17.000+0100},
title = {Model-based Verification of Safety-Critical Systems.},
url = {http://dblp.uni-trier.de/db/conf/seke/seke2005.html#HsiungL05},
year = 2005
}