Browse wiki

Jump to: navigation, search
CAV 2013
Acceptance rate
34.0  +
Accepted papers
71  +
Acronym
CAV 2013  +
End date
July 19, 2013  +
Event in series
CAV +
Event type
Conference  +
Has coordinates
59° 56' 19", 30° 18' 58"Latitude: 59.938733333333
Longitude: 30.316227777778  +
Has location city
Saint Petersburg +
Has location country
Category:Russia +
Homepage
http://cav2013.forsyte.at/  +
IsA
Event  +
Ordinal
25  +
Start date
July 13, 2013  +
Submitted papers
209  +
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 2013 + , CAV 2013 + , CAV 2013 +
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:22, 30 September 2016  +
Categories
Computer-Aided Verification , Russia , 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.
15:03:09, 9 February 2021  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:CAV-5F2013"