Marcel Ammerlaan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Marcel Ammerlaan, R. F. Lutje Spelberg, W. J. Toetenel: XTG-an engineering approach to modelling and analysis of real-time systems. ECRTS 1998: 88-97

1 R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan: Partition Refinement in Real-Time Model Checking. FTRTFT 1998: 143-157

Selection of 2 from 2 records - Marcel Ammerlaan has 2 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

2		Marcel Ammerlaan, R. F. Lutje Spelberg, W. J. Toetenel: XTG-an engineering approach to modelling and analysis of real-time systems. ECRTS 1998: 88-97
1		R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan: Partition Refinement in Real-Time Model Checking. FTRTFT 1998: 143-157