Author:
Derrick John,Smith Graeme
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abrial, J.R.: The B Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1996)
2. Bolton, C., Davies, J.: A Singleton Failures Semantics for Communicating Sequential Processes. Formal Aspects of Computing (2002) (under consideration)
3. Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512–1542 (1994)
4. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
5. Lecture Notes in Computer Science;C. Darlot,2003
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献