Rolv Broek

According to our database, Rolv Broek authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Frameworks by means of virtual types - exemplified by SDL.

Rolv Broek, Birger Møller-Pedersen

Proceedings of the Formal Description Techniques and Protocol Specification, 1998