Search the dblp DataBase
Andrew M. Bailey :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Andrew M. Bailey , Mark B. Josephs Sequencer circuits for VLSI programming. [Citation Graph (0, 0)][DBLP ] ASYNC, 1995, pp:82-90 [Conf ] Andrew M. Bailey Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. [Citation Graph (0, 0)][DBLP ] CHARME, 1993, pp:167-178 [Conf ] Mark B. Josephs , Andrew M. Bailey The Use of SI-Algebra in the Design of Sequencer Circuits. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1997, v:9, n:4, pp:395-408 [Journal ] Andrew M. Bailey , George A. McCaskill , George J. Milne An Exercise in the Automatic Verification of Asynchronous Designs. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1994, v:4, n:3, pp:213-242 [Journal ] Search in 0.001secs, Finished in 0.001secs