Author:
Kant Gijs,Laarman Alfons,Meijer Jeroen,van de Pol Jaco,Blom Stefan,van Dijk Tom
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Lecture Notes in Computer Science;J. Barnat,2009
2. Barnat, J., Brim, L., Ročkai, P.: Parallel Partial Order Reduction with Topological Sort Proviso. In: SEFM 2010, pp. 222–231. IEEE (2010)
3. Lecture Notes in Computer Science;J. Barnat,2013
4. van der Berg, F.I., Laarman, A.W.: SpinS: Extending LTSmin with Promela through SpinJa. In: PDMC 2012. ENTCS, vol. 296, pp. 95–105 (2013)
5. Blom, S.C.C., van de Pol, J.C., Weber, M.: Bridging the Gap between Enumerative and Symbolic Model Checkers. University of Twente (2009)
Cited by
117 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献