Modal Logic and Distributed Message Passing Automata

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Kuusisto Antti
    Aikajakso3 syysk. 2013
    Tapahtuman otsikkoCSL 2013
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational