Sciweavers

CONCUR
1994
Springer

Testing-Based Abstractions for Value-Passing Systems

14 years 3 months ago
Testing-Based Abstractions for Value-Passing Systems
Rance Cleaveland, James Riely
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where CONCUR
Authors Rance Cleaveland, James Riely
Comments (0)