A model checker for Bigraphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gian Perrone' in GoogleThis author has not been identified. Look up 'Søren Debois' in GoogleThis author has not been identified. Look up 'Thomas T. Hildebrandt' in Google

runs on WebDSL