Sciweavers

EMSOFT
2007
Springer

Existential abstractions for distributed reactive systems via syntactic transformations

14 years 6 months ago
Existential abstractions for distributed reactive systems via syntactic transformations
Vijay D'Silva, Sampada Sonalkar, S. Ramesh
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where EMSOFT
Authors Vijay D'Silva, Sampada Sonalkar, S. Ramesh
Comments (0)