Sciweavers

EURODAC
1994
IEEE

An efficient verification algorithm for parallel controllers

14 years 4 months ago
An efficient verification algorithm for parallel controllers
Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1994
Where EURODAC
Authors Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul, Janusz Szajna
Comments (0)