Page values for "SPIN 2009"

Jump to: navigation, search
Facts about "SPIN 2009"
AcronymSPIN 2009 +
Camera ready dueApril 17, 2009 +
End dateJune 29, 2009 +
Event typeWorkshop +
Has coordinates45° 11' 15", 5° 44' 9"Latitude: 45.187561111111
Longitude: 5.7357805555556
+
Has location cityGrenoble +
Has location countryCategory:France +
Homepagehttp://ti.arc.nasa.gov/event/spin09 +
IsAEvent +
Start dateJune 26, 2009 +
Submission deadlineMarch 9, 2009 +
TitleSPIN Workshop on Model Checking of Software +