Juha Nieminen

	2004
1		Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157

Coauthor Index

1	Timo Erkkilä	[1]
2	Henri Hansen	[1]
3	Antti Valmari	[1]
4	Heikki Virtanen	[1]