Skip to content

A Timed Semantics for the STATEMATE Implementation of Statecharts.

Carsta Petersohn, Luis Urbina

VenueBFM
Year1997
ProceedingsFME

Browse the full FM paper archive.