Applying petri net unfoldings for verification of mobile systems /
Khomenko, V.
Koutny, Maciej,1958-
Niaouris, A
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2006.
Cover title.