Minimization of symbolic transducers
Julkaisuvuosi
2017
Tekijät
Saarikivi, Olli; Veanes, Margus
Organisaatiot ja tekijät
Aalto-yliopisto
Saarikivi Olli
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings
Kustantaja
Volyymi
10427 LNCS
Sivut
176-196
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Kyllä
DOI
10.1007/978-3-319-63390-9_10
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä