%0 Conference Paper %1 conf/icse/DangK00 %A Dang, Zhe %A Kemmerer, Richard A. %B ICSE %D 2000 %E Ghezzi, Carlo %E Jazayeri, Mehdi %E Wolf, Alexander L. %I ACM %K dblp %P 345-354 %T Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. %U http://dblp.uni-trier.de/db/conf/icse/icse2000.html#DangK00 %@ 1-58113-206-9

@inproceedings{conf/icse/DangK00, added-at = {2018-11-06T00:00:00.000+0100}, author = {Dang, Zhe and Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/207b624cd3a19c012c88e1a31aa3a35c6/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2000}, editor = {Ghezzi, Carlo and Jazayeri, Mehdi and Wolf, Alexander L.}, ee = {https://doi.org/10.1145/337180.337220}, interhash = {9a84ed53320d581316b3b7d6a522305b}, intrahash = {07b624cd3a19c012c88e1a31aa3a35c6}, isbn = {1-58113-206-9}, keywords = {dblp}, pages = {345-354}, publisher = {ACM}, timestamp = {2018-11-07T14:45:42.000+0100}, title = {Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2000.html#DangK00}, year = 2000 }