E. Timothy Morgan

According to our database1, E. Timothy Morgan authored at least 2 papers between 1985 and 1987.

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

1987
Interactive State-Space Analysis of Concurrent Systems.
IEEE Trans. Software Eng., 1987

1985
Computer-aided analysis of concurrent systems.
Proceedings of the Protocol Specification, 1985


  Loading...