Refinement and modularity in closed system models of reactive systems

  • Reino Kurki-Suonio (Speaker)

    Activity: Talk or presentationConference presentation

    Event titleIsraeli-Finnish Binational Symposium on Specification, Development, and Verification of Concurrent Systems, Coler-California Visiors Center The Technion, Haifa, January 7-9, 1996
    Event typeConference

    Country of activity

    • Israel

    Publication forum classification

    • No publication forum level