BigraphER: Rewriting and Analysis Engine for Bigraphs

First Author: Sevegnani M
Attributed to:  A Population Approach to Ubicomp System Design funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

Book Title: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (2016)

Page Reference: 494-501

ISBN: 978-3-319-41539-0