%0 Conference Paper %1 conf/tacas/YuCL07 %A Yu, Andy Jinqing %A Ciardo, Gianfranco %A Lüttgen, Gerald %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K dblp %P 648-663 %T Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#YuCL07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/YuCL07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Yu, Andy Jinqing and Ciardo, Gianfranco and Lüttgen, Gerald}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ecde231b8f7d58a3aeb6078c487dc1ec/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_50}, interhash = {4e2cbc89a44b7a433b07e7742061f45b}, intrahash = {ecde231b8f7d58a3aeb6078c487dc1ec}, isbn = {978-3-540-71208-4}, keywords = {dblp}, pages = {648-663}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:23.000+0200}, title = {Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#YuCL07}, volume = 4424, year = 2007 }