%0 Conference Paper %1 conf/atva/HsiungLCHYSLL06 %A Hsiung, Pao-Ann %A Lin, Shang-Wei %A Chen, Yean-Ru %A Huang, Chun-Hsian %A Yeh, Jia-Jen %A Sun, Hong-Yu %A Lin, Chao-Sheng %A Liao, Hsiao-Win %B ATVA %D 2006 %E Graf, Susanne %E Zhang, Wenhui %I Springer %K dblp %P 67-81 %T Model Checking Timed Systems with Urgencies. %U http://dblp.uni-trier.de/db/conf/atva/atva2006.html#HsiungLCHYSLL06 %V 4218 %@ 3-540-47237-1

@inproceedings{conf/atva/HsiungLCHYSLL06, added-at = {2020-06-18T00:00:00.000+0200}, author = {Hsiung, Pao-Ann and Lin, Shang-Wei and Chen, Yean-Ru and Huang, Chun-Hsian and Yeh, Jia-Jen and Sun, Hong-Yu and Lin, Chao-Sheng and Liao, Hsiao-Win}, biburl = {https://www.bibsonomy.org/bibtex/28284de96ffb5834b021e603ca9ce7433/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2006}, editor = {Graf, Susanne and Zhang, Wenhui}, ee = {https://doi.org/10.1007/11901914_8}, interhash = {8267dade46ddd90445ac4e72ccd88d8a}, intrahash = {8284de96ffb5834b021e603ca9ce7433}, isbn = {3-540-47237-1}, keywords = {dblp}, pages = {67-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-19T11:43:16.000+0200}, title = {Model Checking Timed Systems with Urgencies.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2006.html#HsiungLCHYSLL06}, volume = 4218, year = 2006 }