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.

Add the full text or supplementary notes for the publication here using Markdown formatting.