Author:
Mota Alexandre,Farias Adalberto,Didier André,Woodcock Jim
Publisher
Springer International Publishing
Reference28 articles.
1. Clarke, E., Grumberg, O., Long, D.: Model Checking and Abstraction. ACM Trans. on Programming Languages and Systems 16(5), 1512–1542 (1994)
2. Cavalcanti, A., Gaudel, M.C.: Testing for refinement in Circus. Acta Inf. 48(2), 97–147 (2011)
3. Roscoe, A.W., et al.: Model-checking CSP. A classical mind: essays in honour of CAR Hoare, pp. 353–378 (1994)
4. Lecture Notes in Computer Science;Y. Liu,2010
5. Mota, A., Sampaio, A.: Model-checking CSP-Z: strategy, tool support and industrial application. Science of Computer Programming 40(1), 59–96 (2001)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献