Transactions on Petri Nets and other models of Concurrency IV by Knapik, Michał, Penczek, Wojciech, Półrola, Agata, Szreter, Maciej, Zbrzezny, Andrzej, Niewiadomski, Artur fromLecture Notes in Computer Science 0 Type: Book
