Tuomas Launiainen

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila
Efficient model checking of PSL safety properties. IET Comput. Digit. Tech. 5 (6) (2011)
Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila
Efficient Model Checking of PSL Safety Properties. ACSD (2010)