next up previous contents
Next: VEIJALAINEN, Jari Up: Faculty Previous: UKKONEN, Esko

VALMARI, Antti  

picture

Dr.Techn., Docent, Associate Professor (Tampere University of Technology)
E-mail: Antti.Valmari@tut.fi
Url: http://www.cs.tut.fi/~ava/
Interests: computer-aided verification and validation of concurrent and distributed systems