Menu
Home
Help and information
About this website
Privacy Policy
Tim Strazny
1 published title
A practical approach to verification of mobile systems using net unfoldings
(Contributor)
1 edition
Newcastle University, Computing Science
2008
Details