Simple is Better: Efficient Bounded Model Checking for Past LTL
Year of publication
2005
Authors
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
Organizations and authors
Aalto University
Junttila Tommi
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005
Publisher
SPRINGER
Pages
380-395
ISBN
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Keywords
[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
Yes