%0 Conference Paper %1 conf/cav/TorreMP09 %A Torre, Salvatore La %A Madhusudan, P. %A Parlato, Gennaro %B CAV %D 2009 %E Bouajjani, Ahmed %E Maler, Oded %I Springer %K dblp %P 477-492 %T Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. %U http://dblp.uni-trier.de/db/conf/cav/cav2009.html#TorreMP09 %V 5643 %@ 978-3-642-02657-7

@inproceedings{conf/cav/TorreMP09, added-at = {2018-10-03T00:00:00.000+0200}, author = {Torre, Salvatore La and Madhusudan, P. and Parlato, Gennaro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/232137768b3c612e37ae4cde3031498e2/dblp}, booktitle = {CAV}, crossref = {conf/cav/2009}, editor = {Bouajjani, Ahmed and Maler, Oded}, ee = {https://doi.org/10.1007/978-3-642-02658-4_36}, interhash = {4705592020fb686dd6acdcbf3775f3b7}, intrahash = {32137768b3c612e37ae4cde3031498e2}, isbn = {978-3-642-02657-7}, keywords = {dblp}, pages = {477-492}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:47:18.000+0200}, title = {Reducing Context-Bounded Concurrent Reachability to Sequential Reachability.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2009.html#TorreMP09}, volume = 5643, year = 2009 }