Modal Logic and Distributed Message Passing Automata

    Activity: Talk or presentation › Conference presentation

    Description

    Contributors: Kuusisto Antti
    Period3 Sept 2013
    Event titleCSL 2013
    Event typeOther
    Degree of RecognitionInternational