@inproceedings{inproceedings, title  = {{Specification and analysis of automata-based designs}},

 url = {{}},

 year = {{2000}},

 month = {{1}},

 author = {{Bryans J and Blair L and Bowman H and Derrick J}},

 volume = {{1945}},

 journal = {{INTEGRATED FORMAL METHODS, PROCEEDINGS}},

 pages = {{176-193}},

 note = {{Accessed on 2024/12/20}}}