Model checking software. 18th international SPIN workshop, Snowbird, UT, USA, July 14--15, 2011. Proceedings
scientific article; zbMATH DE number 5918433