Skip to content

Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.

Ralf H. Reussner

VenueBSOFSEM
Year2002
ProceedingsSOFSEM

Browse the full SOFSEM paper archive.