Originele taal-2 | Engels |
---|---|
Titel | Proc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998 |
Redacteuren | J.F. Groote, B. Luttik, J. Wamel, van |
Plaats van productie | Amsterdam |
Uitgeverij | Stichting Mathematisch Centrum |
Pagina's | 157-169 |
ISBN van geprinte versie | 90-6196-480-6 |
Status | Gepubliceerd - 1998 |
Partial-order reduction techniques for real-time model checking
D.R. Dams, R.T. Gerth, B.T. Knaack, R. Kuiper
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review