A framework for specifying and verifying the behaviour of open systems

Andrea Bracciali, Antonio Brogi, Franco Turini
January 2005
Cite DOI
Type
Journal article
Publication
J. Log. Algebraic Methods Program.
Antonio Brogi
Antonio Brogi
Full Professor

Full Professor @ Department of Computer Science, University of Pisa, Italy.