Travelled to:
1 × Germany
Collaborated with:
L.Blair H.Bowman J.Derrick
Talks about:
automata (1) analysi (1) specif (1) design (1) base (1)
Person: Jeremy Bryans
DBLP: Bryans:Jeremy
Contributed to:
Wrote 1 papers:
- IFM-2000-BryansBBD #analysis #design #specification
- Specification and Analysis of Automata-Based Designs (JB, LB, HB, JD), pp. 176–193.