%0 Book
%T Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings
%A International SPIN Workshop 18 2011 Snowbird, Utah
%A Groce, Alex
%A Musuvathi, Madanlal
%I Springer
%@ 3642223052
%@ 9783642223051
%K SPIN (Computer file) Congresses
%K Computer simulation Testing Data processing Congresses
%K Computer software Verification Congresses
%K Konferenzschrift 2011 Snowbird, Utah
%K Model Checking
%D 2011
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation