TY  - CONF

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

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

UR  - https://eprints.whiterose.ac.uk/id/eprint/149564

UR  - https://sefm2019.inria.fr/

PY  - 2019/09/09

AU  - Lefticaru R

AU  - Hierons R

AU  - Nunez M

ED  - Ölveczky PC

ED  - Salaün G

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

PB  - Springer

SN  - 9783030304454

IS  - 11724

SP  - 393

EP  - 409

Y2  - 2025/11/05

ER  -