Sciweavers

EMSOFT
2008
Springer

State space abstraction for parameterized self-stabilizing embedded systems

13 years 11 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)