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/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProc. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, Netherlands, 25-26 May 1998
RedacteurenJ.F. Groote, B. Luttik, J. Wamel, van
Plaats van productieAmsterdam
UitgeverijStichting Mathematisch Centrum
Pagina's157-169
ISBN van geprinte versie90-6196-480-6
StatusGepubliceerd - 1998

Citeer dit