Wilfried H. P. van Hulzen

According to our database, Wilfried H. P. van Hulzen authored at least 2 papers between 1988 and 1989.

Collaborative distances:

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

1989

LOTOS Extended with Clocks.

Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg

Proceedings of the Formal Description Techniques, 1989

1988

LOTTE - A LOTOS Environment.

Wilfried H. P. van Hulzen

Proceedings of the Formal Description Techniques, 1988