Author:
Bošnački Dragan,Donaldson Alastair F.,Leuschel Michael,Massart Thierry
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Bosnacki, D., Dams, D., Holenderski, L.: Symmetric Spin. STTT 4(1), 92–106 (2002)
3. Clarke, E., Enders, R., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. Form. Methods Syst. Des. 9(1-2), 77–104 (1996)
4. Lecture Notes in Computer Science;E. Clarke,1998
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献