@inproceedings{HKWJR22,
title = {{MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types}},
author = {Gokul Hariharan and Brian Kempa and Tichakorn Wongpiromsarn and Phillip H. Jones and Kristin Y. Rozier},
booktitle = {Proceedings of the 15th International Workshop on Numerical Software Verification ({NSV})},
series = {LNCS},
volume = {13466},
publisher = {Springer},
month = {August},
year = {2022},
isbn = {978-3-031-21221-5},
}