Sciweavers

3808 search results - page 5 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
137
Voted
APN
2008
Springer
15 years 9 months ago
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Roland Meyer, Victor Khomenko, Tim Strazny