Browse wiki

Jump to: navigation, search
CAV 2009
Acceptance rate
26.7  +
Accepted papers
36  +
Acronym
CAV 2009  +
End date
July 2, 2009  +
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 +
Homepage
http://www-cav2009.imag.fr/  +
IsA
Event  +
Ordinal
21  +
Start date
June 26, 2009  +
Submitted papers
135  +
Title
Computer Aided Verification  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
CAV 2009 + , CAV 2009 + , CAV 2009 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
15:49:21, 30 September 2016  +
Categories
Computer-Aided Verification , France , Stand-alone event , Software engineering
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Saskia.Ernert +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
14:48:22, 9 February 2021  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:CAV-202009"