Efficient model checking of PSL safety properties (2011)
AUTHORS:
Launiainen Tuomas,
Heljanko Keijo
,
Junttila Tommi
JOURNAL:
IET Computers and Digital Techniques
VOLUME:
5
PAGES:
479--492
URL:
http://dx.doi.org/10.1049/iet-cdt.2010.0154
@article{ LauniainenHeljankoJunttila:IET2011, author = "Launiainen, Tuomas and Heljanko, Keijo and Junttila, Tommi", optmonth = "nov", title = "Efficient model checking of PSL safety properties", url = "http://dx.doi.org/10.1049/iet-cdt.2010.0154", journal = "IET Computers and Digital Techniques", number = "6", volume = "5", flags = "copy LOGIC HIIT", year = "2011", unitcode = "T306=99,T312=1", pages = "479--492" }