Sciweavers

Share
APN
2008
Springer

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

8 years 5 months ago
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Roland Meyer, Victor Khomenko, Tim Strazny
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where APN
Authors Roland Meyer, Victor Khomenko, Tim Strazny
Comments (0)
books