Travelled to:1 × Denmark
1 × USA
Collaborated with:W.Mao ∅
Talks about:techniqu (1) descript (1) hardwar (1) equival (1) machin (1) verif (1) state (1) proof (1) model (1) finit (1)
Person: George J. Milne
DBLP: Milne:George_J=
Contributed to:
1991
1984Wrote 2 papers:
- CAV-1991-MaoM #automation #equivalence #finite #proving #state machine
- An Automated Proof Technique for Finite-State Machine Equivalence (WM, GJM), pp. 233–243.
- DAC-1984-Milne #hardware #verification
- A model for hardware description and verification (GJM), pp. 251–257.