%0 Conference Paper %1 conf/sac/PerroneDH12 %A Perrone, Gian %A Debois, Søren %A Hildebrandt, Thomas T. %B SAC %D 2012 %E Ossowski, Sascha %E Lecca, Paola %I ACM %K dblp %P 1320-1325 %T A model checker for Bigraphs. %U http://dblp.uni-trier.de/db/conf/sac/sac2012.html#PerroneDH12 %@ 978-1-4503-0857-1

@inproceedings{conf/sac/PerroneDH12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Perrone, Gian and Debois, Søren and Hildebrandt, Thomas T.}, biburl = {https://www.bibsonomy.org/bibtex/221255e2454e2c40f2e4d28244067af7b/dblp}, booktitle = {SAC}, crossref = {conf/sac/2012}, editor = {Ossowski, Sascha and Lecca, Paola}, ee = {https://doi.org/10.1145/2245276.2231985}, interhash = {7b915e698000a7b5106ce4fdbb314ff5}, intrahash = {21255e2454e2c40f2e4d28244067af7b}, isbn = {978-1-4503-0857-1}, keywords = {dblp}, pages = {1320-1325}, publisher = {ACM}, timestamp = {2018-11-07T16:24:30.000+0100}, title = {A model checker for Bigraphs.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2012.html#PerroneDH12}, year = 2012 }