TY  - CONF

T1  - An implementation relation for cyclic systems with refusals and discrete time

JO  - Software Engineering and Formal Methods 17th International Conference Proceedings

UR  - http://eprints.whiterose.ac.uk/149564/

PY  - 2019/09/09

AU  - Lefticaru R

AU  - Hierons R

AU  - Nunez M

ED  - 

DO  - DOI: 10.1007/978-3-030-30446-1_21

PB  - Springer

SN  - 9783030304454

SP  - 393

EP  - 409

Y2  - 2024/12/21

ER  -