CAV 1989

From Openresearch
Jump to: navigation, search
CAV 1989
Verification Methods for Finite State Systems
Ordinal 1
Event in series CAV
Dates 1989/06/12 (iCal) - 1989/06/14
Location
Location: Grenoble, France
Loading map...

Table of Contents


Facts about "CAV 1989"
AcronymCAV 1989 +
End dateJune 14, 1989 +
Event in seriesCAV +
Event typeConference +
Has coordinates45° 11' 15", 5° 44' 9"Latitude: 45.187561111111
Longitude: 5.7357805555556
+
Has location cityGrenoble +
Has location countryCategory:France +
IsAEvent +
Ordinal1 +
Start dateJune 12, 1989 +
TitleVerification Methods for Finite State Systems +