Unfoldings - A Partial Order Approach to Model Checking

Publiceringsår

2008

Upphovspersoner

Esparza, Javier; Heljanko, Keijo

Organisationer och upphovspersoner

Aalto-universitetet

Publikationstyp

Publikationsform

Separat verk

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

C1 Separat utgivet vetenskapligt verk

Publikationskanalens uppgifter

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej