TY  - JOUR

T1  - Implementation relations and testing for cyclic systems with refusals and discrete time

JO  - Journal of Systems and Software

UR  - https://eprints.whiterose.ac.uk/163152/

PY  - 2020/12/01

AU  - Lefticaru R

AU  - Hierons R

AU  - Nunez M

ED  - 

DO  - DOI: 10.1016/j.jss.2020.110738

PB  - Elsevier

VL  - 170

Y2  - 2024/12/21

ER  -