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]
Abstract is missing.