Publications Details

Refinement of Reactive Systems

Laros, James H.; Snook, Colin; Hoang, Thai S.; Armstrong, Robert C.; Hulette, Geoffrey C.; Butler, Michael

Abstract not provided.