A Graphic Notation for Formal Specifications of Dynamic Systems.

Gianna Reggio, Mauro Larosa

Browse the full FM paper archive.