Browse wiki
Conference +
Marco Bernardo +
, Ahmed Bouajjani +
, Ed Brinksma +
, Alessandro Cimatti +
, Rance Cleaveland +
, Swarat Chaudhuri +
, Veronique Cortier +
, Patrice Godefroid +
, Orna Grumberg +
, Aarti Gupta +
, Nicolas Halbwachs +
, Michael Huth +
, Kim Larsen +
, Stefan Kowalewski +
, Thomas Kropf +
, Marta Kwiatkowska +
, Panagiotis Manolios +
, Radu Mateescu +
, Ken McMillan +
, Anna Philippou +
, Andreas Podelski +
, C.R. Ramakrishnan +
, Natasha Sharygina +
, Oleg Sokolsky +
, Bernhard Steffen +
, Frits Vaandrager +
, Carsten Weise +
, Lenore Zuck +
53° 57' 33", -1° 4' 54"Latitude: 53.959055555556
Longitude: -1.0815361111111 +
Longitude: -1.0815361111111 +
December 12, 2008 +
October 2, 2008 +
March 22, 2009 +
October 2, 2008 +
International Conference on Tools and Algorithms for the Construction and Analysis of Systems +
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.
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.
16:13:48, 18 August 2008 +
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.
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:39:07, 16 July 2020 +
No properties link to this page.