punroll 0.3: a bounded reachability checker

Publiceringsår

2001

Upphovspersoner

Heljanko, Keijo

Organisationer och upphovspersoner

Aalto-universitetet

Heljanko Keijo

Publikationstyp

Publikationsform

Applikation för information- och kommunikationsteknik

Målgrupp

Vetenskaplig

UKM:s publikationstyp

I2 Informations- och kommunikationstekniktillämpningar

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Nyckelord

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

Förlagets internationalitet

Inhemsk

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej