Browse by Person (creator, editor, contributor, etc.)
Number of items: 6.
Conference or workshop item
Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John
Specification and Analysis of Automata-based Designs.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings.
Lecture Notes in Comuter Science, 1945.
(Full text available)
Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.G.
Time Versus Abstraction In Formal Description.
In: FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, Boston, Ma.
(The full text of this publication is not available from this repository)