Marcel Ammerlaan

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
Partition Refinement in Real-Time Model Checking. FTRTFT (1998)
Marcel Ammerlaan, R. F. Lutje Spelberg, W. J. Toetenel
XTG-an engineering approach to modelling and analysis of real-time systems. ECRTS (1998)