Roberto Gorrieri

Process Algebras for Petri Nets - Springer Springer 2017

9783319555591

EBOOK