Revision history of "ATVA 2009"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

Retrieved from "https://www.openresearch.org/wiki/ATVA_2009"
Facts about "ATVA 2009"
RDF feed
AcronymATVA 2009 +
Camera ready dueJune 29, 2009 +
End dateOctober 16, 2009 +
Event typeConference +
Has location cityMacao SAR +
Has location countryCategory:China +
Homepagehttp://www.iist.unu.edu/atva09 +
IsAEvent +
Start dateOctober 14, 2009 +
Submission deadlineMay 1, 2009 +
Title7th International Symposium on Automated Technology for Verification and Analysis +