%0 Conference Paper %1 conf/prima/BullingN15 %A Bulling, Nils %A Nguyen, Hoang Nga %B PRIMA %D 2015 %E Chen, Qingliang %E Torroni, Paolo %E Villata, Serena %E jen Hsu, Jane Yung %E Omicini, Andrea %I Springer %K dblp %P 640-649 %T Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems. %U http://dblp.uni-trier.de/db/conf/prima/prima2015.html#BullingN15 %V 9387 %@ 978-3-319-25523-1

@inproceedings{conf/prima/BullingN15, added-at = {2017-05-19T00:00:00.000+0200}, author = {Bulling, Nils and Nguyen, Hoang Nga}, biburl = {https://www.bibsonomy.org/bibtex/25acbfc45c4b1a777bc0b9c2407277a61/dblp}, booktitle = {PRIMA}, crossref = {conf/prima/2015}, editor = {Chen, Qingliang and Torroni, Paolo and Villata, Serena and jen Hsu, Jane Yung and Omicini, Andrea}, ee = {https://doi.org/10.1007/978-3-319-25524-8_47}, interhash = {832b4cfe3596b4ddf1f5d82b80533a0e}, intrahash = {5acbfc45c4b1a777bc0b9c2407277a61}, isbn = {978-3-319-25523-1}, keywords = {dblp}, pages = {640-649}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:21:22.000+0200}, title = {Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems.}, url = {http://dblp.uni-trier.de/db/conf/prima/prima2015.html#BullingN15}, volume = 9387, year = 2015 }