View source for CAV 1989

{{Event
|Acronym=CAV 1989
|Title=Verification Methods for Finite State Systems
|Ordinal=1
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=1989/06/12
|End date=1989/06/14
|City=Grenoble
|Country=France
|has Proceedings Link=https://link.springer.com/book/10.1007/3-540-52148-8
}}
Acronym	CAV 1989 +
End date	June 14, 1989 +
Event in series	CAV +
Event type	Conference +
Has coordinates	45° 11' 15", 5° 44' 9"Latitude: 45.187561111111 Longitude: 5.7357805555556 +
Has location city	Grenoble +
Has location country	Category:France +
IsA	Event +
Ordinal	1 +
Start date	June 12, 1989 +
Title	Verification Methods for Finite State Systems +