%0 Conference Paper %1 conf/cav/LiXBL10 %A Li, Juncao %A Xie, Fei %A Ball, Thomas %A Levin, Vladimir %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul B. %I Springer %K dblp %P 339-353 %T Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#LiXBL10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/LiXBL10, added-at = {2010-07-12T00:00:00.000+0200}, author = {Li, Juncao and Xie, Fei and Ball, Thomas and Levin, Vladimir}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a96167d293027b1688b1b75a54e3eb74/dblp}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {http://dx.doi.org/10.1007/978-3-642-14295-6_30}, interhash = {98eaec0362c19b29f9f69d7f2249049b}, intrahash = {a96167d293027b1688b1b75a54e3eb74}, isbn = {978-3-642-14294-9}, keywords = {dblp}, pages = {339-353}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-07-26T09:32:26.000+0200}, title = {Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#LiXBL10}, volume = 6174, year = 2010 }