Checking visual data flow programs with finite process models

    Aktiviteetti: Konferenssiesitelmä

    Description

    Contributors: Nummenmaa Timo
    Aikajakso27 elok. 2013
    Tapahtuman otsikko13th Symposium on Programming Languages and Software Tools
    Tapahtuman tyyppiOther
    Tunnustuksen arvoInternational