| Original language | English |
|---|---|
| Title of host publication | The 10th International Conference on Application of Concurrency to System Design (ACSD'2010) |
| Place of Publication | Braga |
| Pages | 95-104 |
| Publication status | Published - 2010 |
| MoE publication type | A4 Conference publication |
Efficient Model Checking of PSL Safety Properties
Tuomas Launiainen, Keijo Heljanko, Tommi Junttila
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
9
Citations
(Scopus)