Sciweavers

CONCUR
2005
Springer

Synthesis of Distributed Systems from Knowledge-Based Specifications

13 years 9 months ago
Synthesis of Distributed Systems from Knowledge-Based Specifications
Ron van der Meyden, Thomas Wilke
Added 29 Jun 2010
Updated 29 Jun 2010
Type Conference
Year 2005
Where CONCUR
Authors Ron van der Meyden, Thomas Wilke
Comments (0)