Meta data
- BibTeX key
- conf/iccsa/LeeKH06
- entry type
- inproceedings
- booktitle
- ICCSA (4)
- year
- 2006
- pages
- 1081-1089
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3983
- crossref
- conf/iccsa/2006-4
- ee
- https://doi.org/10.1007/11751632_116
- isbn
- 3-540-34077-7
- url
- http://dblp.uni-trier.de/db/conf/iccsa/iccsa2006-4.html#LeeKH06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccsa/LeeKH06
%A Lee, Taehoon
%A Kwon, Gihwon
%A Han, Hyuksoo
%B ICCSA (4)
%D 2006
%E Gavrilova, Marina L.
%E Gervasi, Osvaldo
%E Kumar, Vipin
%E Tan, Chih Jeng Kenneth
%E Taniar, David
%E Laganà, Antonio
%E Mun, Youngsong
%E Choo, Hyunseung
%I Springer
%K dblp
%P 1081-1089
%T CTL Model Checking for Boolean Program.
%U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2006-4.html#LeeKH06
%V 3983
%@ 3-540-34077-7
@inproceedings{conf/iccsa/LeeKH06,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Lee, Taehoon and Kwon, Gihwon and Han, Hyuksoo},
biburl = {https://www.bibsonomy.org/bibtex/23eb2c504e973b95e6dc1ac1901d6c22e/dblp},
booktitle = {ICCSA (4)},
crossref = {conf/iccsa/2006-4},
editor = {Gavrilova, Marina L. and Gervasi, Osvaldo and Kumar, Vipin and Tan, Chih Jeng Kenneth and Taniar, David and Laganà, Antonio and Mun, Youngsong and Choo, Hyunseung},
ee = {https://doi.org/10.1007/11751632_116},
interhash = {383b1c84a74ea7afd6f124964dc5c19b},
intrahash = {3eb2c504e973b95e6dc1ac1901d6c22e},
isbn = {3-540-34077-7},
keywords = {dblp},
pages = {1081-1089},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T22:42:32.000+0200},
title = {CTL Model Checking for Boolean Program.},
url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2006-4.html#LeeKH06},
volume = 3983,
year = 2006
}