Marcel Ammerlaan Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1998

2 EE 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 EE R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan: Partition Refinement in Real-Time Model Checking. FTRTFT 1998: 143-157

*	1998
2	EE	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	EE	R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan: Partition Refinement in Real-Time Model Checking. FTRTFT 1998: 143-157

Coauthor Index

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