Simple bounded LTL model checking

Publiceringsår

2004

Upphovspersoner

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

Organisationer och upphovspersoner

Aalto-universitetet

Junttila Tommi

Publikationstyp

Publikationsform

Separat verk

Målgrupp

Facklig

UKM:s publikationstyp

D4 Publicerad utvecklings- eller forskningsrapport eller -utredning

Publikationskanalens uppgifter

ISBN

951-22-7223-7

Ö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

Inhemsk

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej