George Alexander McCaskill

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1994
An Exercise in the Automatic Verification of Asynchronous Designs.
Formal Methods Syst. Des., 1994

1987
Generating programming environments with integrated text and graphics for VLSI design systems.
PhD thesis, 1987


  Loading...