Modal Logic and Distributed Message Passing Automata

Publiceringsår

2013

Upphovspersoner

Kuusisto Antti

Organisationer och upphovspersoner

Tammerfors universitet

Kuusisto Antti

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal

Annual Conference of the European Association for Computer Science Logic

Moderpublikationens namn

Computer Science Logic 2013 (CSL 2013)

Sidor

452-468

ISBN

978-3-939897-60-6

Publikationsforum

51292

Publikationsforumsnivå

Öppen tillgång

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

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Matematik; Data- och informationsvetenskap

Publiceringsland

Tyskland

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag