Syntymäaika	1983
Toimiala	tietojenkäsittelyoppi
Tunnisteet	0000000484160502 (isni) http://urn.fi/URN:NBN:fi:au:finaf:000166166 (finaf)
Lähteet	Model checking large nuclear power plant safety system designs, 2016 Aalto-yliopiston verkkosivut 6.10.2016 Tekniikan akateemiset ja arkkitehdit 2011