Skip to content

A Refinement Calculus for Statecharts.

Peter Scholz

VenueBFASE
Year1998
ProceedingsFASE

Browse the full FASE paper archive.