Ming Chai, Bernd-Holger Schlingloff. Online Monitoring of Distributed Systems with a Five-Valued LTL. In IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014. pages 226-231, IEEE, 2014. [doi]
@inproceedings{ChaiS14,
title = {Online Monitoring of Distributed Systems with a Five-Valued LTL},
author = {Ming Chai and Bernd-Holger Schlingloff},
year = {2014},
doi = {10.1109/ISMVL.2014.47},
url = {http://dx.doi.org/10.1109/ISMVL.2014.47},
researchr = {https://researchr.org/publication/ChaiS14},
cites = {0},
citedby = {0},
pages = {226-231},
booktitle = {IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014, Bremen, Germany, May 19-21, 2014},
publisher = {IEEE},
}