Marcel Ammerlaan

According to our database, Marcel Ammerlaan authored at least 2 papers in 1998.

Collaborative distances:

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

1998

Partition Refinement in Real-Time Model Checking.

Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

XTG-an engineering approach to modelling and analysis of real-time systems.

Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998