Generalizing the Submodule Construction Techniques for Extended State Machine Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bassel Daou, Gregor von Bochmann. Generalizing the Submodule Construction Techniques for Extended State Machine Models. In Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Volume 4229 of Lecture Notes in Computer Science, pages 191-195, Springer, 2006. [doi]

This author has not been identified. Look up 'Bassel Daou' in GoogleThis author has not been identified. Look up 'Gregor von Bochmann' in Google

runs on WebDSL