Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Bosnacki, D., Dams, D., Holenderski, L.: Symmetric Spin. STTT 4(1), 92–106 (2002)
2. Lecture Notes in Computer Science;A.F. Donaldson,2006
3. Lecture Notes in Computer Science;S. Edelkamp,2001
4. Lecture Notes in Computer Science;E.A. Emerson,1999
5. Lecture Notes in Computer Science;E.A. Emerson,2003
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges;International Journal on Software Tools for Technology Transfer;2014-08-06
2. Unit testing for SPIN: runspin and parsepan;Proceedings of the 2014 International SPIN Symposium on Model Checking of Software;2014-07-21