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