A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

From MaRDI portal
Publication:5900141

DOI10.1007/978-3-540-68746-7_22zbMath1143.68460OpenAlexW2172719063MaRDI QIDQ5900141

Roland Meyer, Tim Strazny, Victor Khomenko

Publication date: 3 July 2008

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_22




Related Items (6)


Uses Software



Cites Work




This page was built for publication: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings