144
Voted
EMSOFT
2010
Springer
15 years 24 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...