Skip to main content

Critical systems validation and verification with CSP and FDR

Michael Goldsmith and Irfan Zakiuddin

Book Title
Applied Formal Methods—FM−Trends 98
Organisation
Springer Berlin/Heidelberg
Pages
243–250
Year
1999