Publications Details

Refinement of Reactive Systems

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

Abstract not provided.