Login / Signup
Andrew Currie
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
Michael Leuschel
,
Thierry Massart
,
Andrew Currie
How to Make FDR Spin LTL Model Checking of CSP by Refinement.
FME
(2001)