George Alexander McCaskill

According to our database, George Alexander McCaskill authored at least 2 papers between 1987 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1994

An Exercise in the Automatic Verification of Asynchronous Designs.

Andrew M. Bailey, George Alexander McCaskill, George J. Milne

Formal Methods Syst. Des., 1994

1987

Generating programming environments with integrated text and graphics for VLSI design systems.

George Alexander McCaskill

PhD thesis, 1987