Difference between revisions of "CAV 1998"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
(One intermediate revision by the same user not shown)
Line 3: Line 3:
 
|has Proceedings Link=https://www.springer.com/gp/book/9783540646082
 
|has Proceedings Link=https://www.springer.com/gp/book/9783540646082
 
|Acronym=CAV 1998
 
|Acronym=CAV 1998
|End date=1998/07/02
+
|End date=1998-07-02
 
|Series =CAV
 
|Series =CAV
 
|Type  =Conference
 
|Type  =Conference
Line 9: Line 9:
 
|State  =CA/BC
 
|State  =CA/BC
 
|City  =CA/BC/Vancouver
 
|City  =CA/BC/Vancouver
 +
|Year  =1998
 
|Homepage=http://www.cs.ubc.ca/~ajh/cav98.html
 
|Homepage=http://www.cs.ubc.ca/~ajh/cav98.html
 
|Ordinal=10
 
|Ordinal=10
|Start date=1998/06/28
+
|Start date=1998-06-28
 
|Title  =Computer Aided Verification
 
|Title  =Computer Aided Verification
 
|Accepted papers=33
 
|Accepted papers=33
|Submitted papers=117}}
+
|Submitted papers=117
 +
}}

Latest revision as of 03:44, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CAV 1998/rating

CAV 1998
Computer Aided Verification
Ordinal 10
Event in series CAV
Dates 1998-06-28 (iCal) - 1998-07-02
Homepage: http://www.cs.ubc.ca/~ajh/cav98.html
Location
Location: CA/BC/Vancouver, CA/BC, CA
Loading map...

Papers: Submitted 117 / Accepted 33 (28.2 %)
Table of Contents