Refinement and modularity in closed system models of reactive systems
Reino Kurki-Suonio (Speaker)
Aktiviteetti: Konferenssiesitelmä
Aikajakso
1996
Tapahtuman otsikko
Israeli-Finnish Binational Symposium on Specification, Development, and Verification of Concurrent Systems, Coler-California Visiors Center The Technion, Haifa, January 7-9, 1996