Heikki Virtanen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

2 Henri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156

Selection of 2 from 5 records - Heikki Virtanen has 11 coauthors

3		Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157
2		Henri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156