A practical approach to verification of mobile systems using net unfoldings
A practical approach to verification of mobile systems using net unfoldings is a book. It was written by Roland Meyer and published by Newcastle UniversityComputing Science in 2008.
Key facts
- author: Roland Meyer
- publication date: 2008
- book publisher: Newcastle UniversityComputing Science
- book series: Technical report series
- book subjects: Mobile communication systems, Computer science-Mathematics, Computer systems-Verification
Extract data
Download datasets about A practical approach to verification of mobile systems using net unfoldings:
Dataset of books series that contain A practical approach to verification of mobile systems using net unfoldings:
Dataset of book subjects that contain A practical approach to verification of mobile systems using net unfoldings:
"A practical approach to verification of mobile systems using net unfoldings" is one of the books by Roland Meyer, books by Newcastle UniversityComputing Science and 2,617,384 books in our database.
Related
Connected or similar to A practical approach to verification of mobile systems using net unfoldings: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.