Published in
Springer Verlag, Software Quality Journal, 3(26), p. 961-989
DOI: 10.1007/s11219-017-9380-8
Links
Tools
Asynchronous multi-process timed automata
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 
