Model checking software. 15th international SPIN workshop, Los Angeles, CA, USA, August 10--12, 2008 Proceedings
scientific article; zbMATH DE number 5372512