Simple is Better: Efficient Bounded Model Checking for Past LTL

Publiceringsår

2005

Upphovspersoner

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

Organisationer och upphovspersoner

Aalto-universitetet

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

Verification, Model Checking, and Abstract Interpretation, Paris, France, 17-19 January 2005

Förläggare

SPRINGER

Sidor

380-395

ISBN

3-540-24297-X

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej