On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata
Publiceringsår
2003
Upphovspersoner
Tauriainen, Heikki
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Separat verk
Målgrupp
Facklig
UKM:s publikationstyp
D4 Publicerad utvecklings- eller forskningsrapport eller -utredning
Publikationskanalens uppgifter
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Nyckelord
alternating automata; automata minimization; Linear temporal logic; Nested depth-first search
Förlagets internationalitet
Inhemsk
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja