CAV 1989: Difference between revisions
CSV import |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 1989 | |Acronym=CAV 1989 | ||
|Title=Verification Methods for Finite State Systems | |||
|Ordinal=1 | |||
|Series=CAV | |Series=CAV | ||
|Type=Conference | |||
|Field=Computer-Aided Verification | |||
|Start date=1989/06/12 | |||
|End date=1989/06/14 | |||
|City=Grenoble | |City=Grenoble | ||
|Country=France | |Country=France | ||
| | |has Proceedings Link=https://link.springer.com/book/10.1007/3-540-52148-8 | ||
}} | }} | ||