From Petri nets with shared variables to ITL /
Klaudel, Hanna,author.
Koutny, Maciej,1958-author.
Moszkowski, B. C.,author.
University of Newcastle upon Tyne.School of Computing Science,publisher.
Title from cover.
"August 2015."