A practical approach to verification of mobile systems using net unfoldings /
Meyer, R.(Roland),1981-
Khomenko, Victor.
Strazny, Tim.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : Newcastle University, Computing Science,
2008.
Includes bibliographical references.
Computer science
Mobile communication systems.
Mobile communication systems
Computer systems
Computer systems
Petri nets.