In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.
In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9115) Springer International Publishing, Switzerland, pp. 309-328. ISSN 0302-9743
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.