Sciweavers

EMSOFT
2008
Springer

State space abstraction for parameterized self-stabilizing embedded systems

14 years 1 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where EMSOFT
Authors Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee
Comments (0)