Sciweavers

AGP
1996
IEEE

Reasoning about Concurrent Actions and Observations

14 years 4 months ago
Reasoning about Concurrent Actions and Observations
Renwei Li, Luís Moniz Pereira
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where AGP
Authors Renwei Li, Luís Moniz Pereira
Comments (0)