Bart-Jan Hilbrands, Debjyoti Bera, Benny Akesson. Partial Specifications of Component-Based Systems using Petri Nets. In Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke, editors, Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. Volume 3170 of CEUR Workshop Proceedings, pages 21-39, CEUR-WS.org, 2022. [doi]
No reviews for this publication, yet.