Sciweavers

SPIN
2000
Springer

Interaction Abstraction for Compositional Finite State Systems

14 years 4 months ago
Interaction Abstraction for Compositional Finite State Systems
Wayne Liu
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where SPIN
Authors Wayne Liu
Comments (0)