Author:
Oudinet Johan,Denise Alain,Gaudel Marie-Claude,Lassaigne Richard,Peyronnet Sylvain
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;N. Abed,2008
2. Lecture Notes in Computer Science,1996
3. Aldous, D.: An introduction to covering problems for random walks on graphs. J. Theoret. Probab. 4, 197–211 (1991)
4. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. In: Model-Checking Techniques and Tools, Springer, Heidelberg (2001)
5. Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M.: Memory-efficient algorithms for the verification of temporal properties. Formal methods in system design 1(2), 275–288 (1992)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献