Verification and simulation tool for communication structured occurrence nets /
Li, Bowen.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
c2012.
Caption title.
"December, 2012."