Minimization of symbolic transducers
Publiceringsår
2017
Upphovspersoner
Saarikivi, Olli; Veanes, Margus
Organisationer och upphovspersoner
Aalto-universitetet
Saarikivi Olli
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings
Förläggare
Volym
10427 LNCS
Sidor
176-196
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Ja
DOI
10.1007/978-3-319-63390-9_10
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja