%0 Conference Paper %1 conf/ictac/ZhangHL08 %A Zhang, Miaomiao %A Hung, Dang Van %A Liu, Zhiming %B ICTAC %D 2008 %E Fitzgerald, John S. %E Haxthausen, Anne E. %E Yenigün, Hüsnü %I Springer %K dblp %P 395-409 %T Verification of Linear Duration Invariants by Model Checking CTL Properties. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#ZhangHL08 %V 5160 %@ 978-3-540-85761-7

@inproceedings{conf/ictac/ZhangHL08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Zhang, Miaomiao and Hung, Dang Van and Liu, Zhiming}, biburl = {https://www.bibsonomy.org/bibtex/29fc5dcfca6b21db3dc7763738d8d0661/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2008}, editor = {Fitzgerald, John S. and Haxthausen, Anne E. and Yenigün, Hüsnü}, ee = {https://doi.org/10.1007/978-3-540-85762-4_27}, interhash = {97b8cb3adbec0be6ec151cdca2846607}, intrahash = {9fc5dcfca6b21db3dc7763738d8d0661}, isbn = {978-3-540-85761-7}, keywords = {dblp}, pages = {395-409}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-29T11:40:01.000+0100}, title = {Verification of Linear Duration Invariants by Model Checking CTL Properties.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2008.html#ZhangHL08}, volume = 5160, year = 2008 }