H. T. de Beer

According to our database, H. T. de Beer authored at least 1 paper in 2005.

Collaborative distances:

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

2005

Process Mining and Verification of Properties: An Approach Based on Temporal Logic.

Wil M. P. van der Aalst, H. T. de Beer, Boudewijn F. van Dongen

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005