| emsoft | participants

Prithviraj Banerjee

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

State Space Abstraction for Parameterized Self-Stabilizing Embedded Systems

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, and Prithviraj Banerjee