Rob A. Beukers

According to our database¹, Rob A. Beukers authored at least 1 paper in 1983.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

1983

The Pandora Protocol Development System.

[BibT_eX]

Gerard J. Holzmann

Rob A. Beukers

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

Rob A. Beukers

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...