Modal Logic and Distributed Message Passing Automata
Julkaisuvuosi
2013
Tekijät
Kuusisto Antti
Organisaatiot ja tekijät
Tampereen yliopisto
Kuusisto Antti
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Sivut
452-468
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Matematiikka; Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Saksa
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.4230/LIPIcs.CSL.2013.452
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä