Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister. Runtime verification of LTL on lossy traces. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1379-1386, ACM, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.