Login / Signup
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)