[Concurrency] SPIN 2009 Call for Papers
Call for Papers 16th International SPIN Workshop on Model Checking of Software June 26–28, 2009, Grenoble, France Co-located with CAV 2009 URL: http://ti.arc.nasa.gov/event/spin09/ Aim and Scope The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. The focus of the workshop is [...]