Sciweavers

KBSE
2005
IEEE

Compositional reasoning for port-based distributed systems

14 years 6 months ago
Compositional reasoning for port-based distributed systems
Alma L. Juarez Dominguez, Nancy A. Day
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where KBSE
Authors Alma L. Juarez Dominguez, Nancy A. Day
Comments (0)