[GrafBrillH17]
Model-Based Testing for Asynchronous Systems
In Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings, pages 66-82, Springer, Lecture Notes in Computer Science 10471, 2017.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-67113-0_5