Alain Léveillé

According to our database1, Alain Léveillé authored at least 2 papers in 1982.

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

1982
Experience with Formal Specifications Using an Extended State Transition Model.
IEEE Trans. Commun., 1982

Some Experience with the Use of Formal Specifications.
Proceedings of the Protocol Specification, 1982


  Loading...