Doeko Bosscher

According to our database, Doeko Bosscher authored at least 1 paper in 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1994

Verification of an Audio Control Protocol.

Doeko Bosscher, Indra Polak, Frits W. Vaandrager

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994