Difference between revisions of "CAV 2003"
Jump to navigation
Jump to search
(CSV import) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
|Acronym=CAV 2003 | |Acronym=CAV 2003 | ||
+ | |Title=Computer Aided Verification | ||
+ | |Ordinal=15 | ||
|Series=CAV | |Series=CAV | ||
+ | |Type=Conference | ||
+ | |Field=Computer-Aided Verification | ||
+ | |Start date=2003/07/08 | ||
+ | |End date=2003/07/12 | ||
|City=Boulder | |City=Boulder | ||
− | |State= | + | |State=Colorado |
|Country=USA | |Country=USA | ||
− | | | + | |Submitted papers=87 |
− | | | + | |Accepted papers=32 |
+ | |has Proceedings Link=https://www.springer.com/gp/book/9783540405245 | ||
+ | |pageCreator=Said | ||
+ | |pageEditor=Saskia.Ernert | ||
+ | |contributionType=1 | ||
}} | }} |