Linear Encodings of Bounded LTL Model Checking

Year of publication

2006

Authors

Biere, Armin; Heljanko, Keijo; Junttila, Tommi; Latvala, Timo; Schuppan, Viktor

Organizations and authors

Aalto University

Heljanko Keijo

Junttila Tommi

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal/Series

Logical Methods in Computer Science

Publisher

Episciences

Volume

Issue

5:5

Pages

1-64

Open access

Open access in the publisher’s service

Self-archived

Other information

Keywords

[object Object],[object Object],[object Object],[object Object],[object Object]

Internationality of the publisher

International

Language

English

International co-publication

Co-publication with a company

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes