Marcel Ammerlaan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

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

	1998
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

Coauthor Index

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

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

1	R. F. Lutje Spelberg	[1] [2]
2	Hans Toetenel (W. J. Toetenel)	[1] [2]