Cite
HARVARD Citation
Teodorov, C. et al. (2016). Past‐Free[ze] reachability analysis: reaching further with DAG‐directed exhaustive state‐space analysis. Software testing, verification & reliability. pp. 516-542. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Teodorov, C. et al. (2016). Past‐Free[ze] reachability analysis: reaching further with DAG‐directed exhaustive state‐space analysis. Software testing, verification & reliability. pp. 516-542. [Online].