Syntymäaika	1978
Toimiala	tietojenkäsittelytieteet
Tunnisteet	000000048491137X (isni) http://urn.fi/URN:NBN:fi:au:finaf:000146368 (finaf)
Lähteet	Aktuumi 5/2010 Algorithmic multiparameterised verification of safety properties, 2010: t.p. (Antti Siirtola)