Linear Encodings of Bounded LTL Model Checking
Julkaisuvuosi
2006
Tekijät
Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor
Organisaatiot ja tekijät
Aalto-yliopisto
Junttila Tommi
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Lehti
Logical Methods in Computer Science
Kustantaja
Episciences
Volyymi
2
Numero
5:5
Sivut
1-64
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä