IET COMPUTERS AND DIGITAL TECHNIQUES

Tutkimustuotokset

  1. 2011
  2. Julkaistu

    Efficient Model Checking of PSL Safety Properties

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

    Tutkimustuotos: Lehtiartikkeli

ID: 259997