A. B. Alkhechi

According to our database1, A. B. Alkhechi authored at least 2 papers between 1990 and 1993.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.
Proceedings of the Protocol Specification, 1993

1990
Automatic Translation of Time Petri Nets into Estelle Description.
Proceedings of the Formal Description Techniques, 1990


  Loading...