Bounded Model Checking, Answer Set Programming, and Fixed Points
Publiceringsår
2006
Upphovspersoner
Niemelä, Ilkka
Organisationer och upphovspersoner
Aalto-universitetet
Niemelä Ilkka 
Publikationstyp
Publikationsform
Abstrakt
Moderpublikationens typ
Konferens
Målgrupp
Vetenskaplig
Publikationskanalens uppgifter
Konferens
International Workshop on Bounded Model Checking
Sidor
9
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Nyckelord
[object Object],[object Object],[object Object],[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Nej