Tampere Verification Tool

H. Virtanen, H. Hansen, A. Valmari, J. Nieminen, T. Erkkilä

Research output: Contribution to journal › Article › Scientific › peer-review

6 Citations (Scopus)

Translated title of the contribution	Tampere Verification Tool
Original language	English
Pages (from-to)	153-157
Journal	Lecture Notes in Computer Science
Volume	2988
Publication status	Published - 2004
Publication type	A1 Journal article-refereed

Publication forum classification

@article{e765469948d74cb9becd5ffd1ccf0165,

title = "Tampere Verification Tool",

author = "H. Virtanen and H. Hansen and A. Valmari and J. Nieminen and T. Erkkil{\"a}",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2004",

language = "English",

volume = "2988",

pages = "153--157",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}