Specification and Analysis of Automata-Based Designs.

Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick

Browse the full IFM paper archive.