Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo. Symbolic verification of ECA rules. In Daniel Moldt, editor, Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013. Volume 989 of CEUR Workshop Proceedings, pages 41-59, CEUR-WS.org, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.