M. Bretschneider

According to our database, M. Bretschneider authored at least 1 paper in 1989.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1989

Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol.

Manuel Duque-Antón, M. Bretschneider

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989