IET COMPUTERS AND DIGITAL TECHNIQUES

Research outputs

  1. 2011
  2. Published

    Efficient Model Checking of PSL Safety Properties

    Launiainen, T., Heljanko, K. & Junttila, T., 2011, In : IET COMPUTERS AND DIGITAL TECHNIQUES. 5, 6, p. 479-492

    Research output: Contribution to journalArticleScientificpeer-review

ID: 259997