Sciweavers

FORMATS
2009
Springer

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

14 years 5 months ago
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction
Shinya Umeno
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FORMATS
Authors Shinya Umeno
Comments (0)