Bounded Model Checking, Answer Set Programming, and Fixed Points
Year of publication
2006
Authors
Niemelä, Ilkka
Organizations and authors
Aalto University
Niemelä Ilkka 
Publication type
Publication format
Abstract
Parent publication type
Conference
Audience
Scientific
Publication channel information
Conference
International Workshop on Bounded Model Checking
Pages
9
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Keywords
[object Object],[object Object],[object Object],[object Object]
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
No