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

View/ Open
JSS_Lefticaru_2020.pdf (353.5Kb)
Download
Publication date
2020-12Rights
© 2020 Elsevier. Reproduced in accordance with the publisher's self-archiving policy. This manuscript version is made available under the CC-BY-NC-ND 4.0 license (http://creativecommons.org/licenses/by-nc-nd/4.0/)Peer-Reviewed
Yes