Sciweavers

MPC
2010
Springer

Compositional Action System Derivation Using Enforced Properties

14 years 4 months ago
Compositional Action System Derivation Using Enforced Properties
Brijesh Dongol, Ian J. Hayes
Added 20 Jul 2010
Updated 20 Jul 2010
Type Conference
Year 2010
Where MPC
Authors Brijesh Dongol, Ian J. Hayes
Comments (0)