Model checking software. 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8--9, 2013. Proceedings
scientific article; zbMATH DE number 6169067