Author:
Fisher Michael,Lisitsa Alexei
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Abstract State Machines: A Formal Method for Specification and Verification, http://www.eecs.umich.edu/gasm/
2. Blass, A., Gurevich, Y.: Abstract State Machines Capture Parallel Algorithms. ACM Transactions on Computational Logic 4(4) (October 2003)
3. Lecture Notes in Computer Science;E. Börger,1999
4. Lecture Notes in Artificial Intelligence;J. Brotherston,2002
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking, Dec. 1999. MIT Press, Cambridge (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献