How to Make FDR Spin LTL Model Checking of CSP by Refinement.

Michael Leuschel Thierry Massart Andrew Currie How to Make FDR Spin LTL Model Checking of CSP by Refinement. 99-118 2001 conf/fm/2001 FME http://link.springer.de/link/service/series/0558/bibs/2021/20210099.htm db/conf/fm/fme2001.html#LeuschelMC01