Marcin Hewelt, Thomas Wagner, Lawrence Cabac. Integrating Verification into the PAOSE Approach. In Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. Volume 723 of CEUR Workshop Proceedings, pages 124-135, CEUR-WS.org, 2011. [doi]
Abstract is missing.