Efficient Model Checking of PSL Safety Properties (2010)
AUTHORS:
Launiainen Tuomas,
Heljanko Keijo
,
Junttila Tommi
BOOKTITLE:
Tenth International Conference on Application of Concurrency to System Design (ACSD'2010)
PAGES:
95--104
@inproceedings{ LauniainenHeljankoJunttila:ACSD2010, author = "Launiainen, Tuomas and Heljanko, Keijo and Junttila, Tommi", publisher = "IEE Computer Society", optmonth = "", optnumber = "", title = "Efficient Model Checking of {PSL} Safety Properties", booktitle = "Tenth International Conference on Application of Concurrency to System Design (ACSD'2010)", optaddress = "Braga, Portuga, June 21--25, 2010", optnote = "", corerank = "B", pages = "95--104", optannote = "", flags = "logic copy", optorganization = "", year = "2010", optvolume = "", impactfactor = "a4", opteditor = "Luis Gomes and Viktor Khomenko and Fernandes, Jo{\~a}o M.", optseries = "" }