Efficient Model Checking of PSL Safety Properties

Tuomas Launiainen, Keijo Heljanko, Tommi Junttila

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

9 Citations (Scopus)
Original languageEnglish
Title of host publicationThe 10th International Conference on Application of Concurrency to System Design (ACSD'2010)
Place of PublicationBraga
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication

Cite this