Gian Perrone, Søren Debois, Thomas T. Hildebrandt. A model checker for Bigraphs. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1320-1325, ACM, 2012. [doi]
Abstract is missing.