Difference between revisions of "CAV 2005"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (2 intermediate revisions by one other user not shown) | |||
| Line 6: | Line 6: | ||
|Type=Conference | |Type=Conference | ||
|Field=Computer-Aided Verification | |Field=Computer-Aided Verification | ||
| − | |Start date=2005 | + | |Start date=2005/07/06 |
| + | |End date=2005/07/10 | ||
|Homepage=http://www.cav2005.inf.ed.ac.uk/ | |Homepage=http://www.cav2005.inf.ed.ac.uk/ | ||
|City=Edinburgh | |City=Edinburgh | ||
| − | |Country= | + | |State=Scotland |
| − | |Submitted papers= | + | |Country=UK |
| − | |Accepted papers= | + | |Submitted papers=123 |
| + | |Accepted papers=32 | ||
|has Proceedings Link=https://www.springer.com/gp/book/9783540272311 | |has Proceedings Link=https://www.springer.com/gp/book/9783540272311 | ||
| + | |pageCreator=Said | ||
| + | |pageEditor=Saskia.Ernert | ||
| + | |contributionType=1 | ||
}} | }} | ||