- Tytuł:
- PeCAn: Compositional Verification of Petri Nets Made Easy
- Autorzy:
- Źródło:
- Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. 8837:242-247
Książka elektroniczna