Model checking software. 17th international SPIN workshop, Enschede, The Netherlands, September 27--29, 2010. Proceedings
scientific article; zbMATH DE number 5791949