Sciweavers

SPIN
2000
Springer

Interaction Abstraction for Compositional Finite State Systems

15 years 23 days 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)