Travelled to:1 × USA
Collaborated with:∅ E.M.Clarke O.Grumberg
Talks about:tempor (2) logic (2) character (1) algorithm (1) structur (1) automat (1) system (1) improv (1) verif (1) state (1)
Person: Michael C. Browne
DBLP: Browne:Michael_C=
Contributed to:
1986
1987Wrote 2 papers:
- LICS-1986-Browne #algorithm #automation #finite #logic #using #verification
- An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (MCB), pp. 260–266.
- CAAP-1987-BrowneCG #logic
- Characterizing Kripke Structures in Temporal Logic (MCB, EMC, OG), pp. 256–270.