Zooming in Labeled Transition Systems

  • Antti Valmari (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1998
    Tapahtuman otsikko10th Nordic Workshop on Programming Theory, NWPT`98, September 1998, Turku, TUCS General Publication
    Tapahtuman tyyppiConference

    Country of activity

    • Yhdysvallat (USA)

    Publication forum classification

    • Ei tasoa