Languages
Jump To : Overview | Titles | Subjects

Groce, Alex.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / by: Groce, Alex.; Workshop on the Preservation of Stability under Discretization ((2001 :); Musuvathi, Madanlal.; SpringerLink (Online service) (Language materials, printed)
 
 
Change password
Login