Author:
Ročkai Petr,Štill Vladimír,Barnat Jiří
Publisher
Springer International Publishing
Reference10 articles.
1. Lecture Notes in Computer Science;J Barnat,2013
2. Blom, S., Lisser, B., van de Pol, J., Weber, M.: A database approach to distributed state space generation. Electron. Notes Theor. Comput. Sci. 198(1), 17–32 (2008)
3. Lecture Notes in Computer Science;J Geldenhuys,1999
4. Holzmann, G.J.: State compression in SPIN: recursive indexing and compression training runs. In: The International SPIN Workshop (1997)
5. Holzmann, G.J., Godefroid, P., Pirottin, D.: Coverage preserving reduction strategies for reachability analysis. In: PSTV, pp. 349–363 (1992)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献