Refinement and modularity in closed system models of reactive systems

  • Reino Kurki-Suonio (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1996
    Tapahtuman otsikkoIsraeli-Finnish Binational Symposium on Specification, Development, and Verification of Concurrent Systems, Coler-California Visiors Center The Technion, Haifa, January 7-9, 1996
    Tapahtuman tyyppiConference

    Country of activity

    • Israel

    Publication forum classification

    • Ei tasoa