Bounded Model Checking, Answer Set Programming, and Fixed Points
Julkaisuvuosi
2006
Tekijät
Niemelä, Ilkka
Organisaatiot ja tekijät
Aalto-yliopisto
Niemelä Ilkka 
Julkaisutyyppi
Julkaisumuoto
Abstrakti
Emojulkaisun tyyppi
Konferenssi
Yleisö
Tieteellinen
Julkaisukanavan tiedot
Konferenssi
International Workshop on Bounded Model Checking
Sivut
9
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Avainsanat
[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
Ei