Boris Shenker

According to our database1, Boris Shenker authored at least 2 papers between 1986 and 1989.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1989
Detection of Ada Static Deadlocks Using Petri Net Invariants.
IEEE Trans. Software Eng., 1989

1986
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986


  Loading...