%0 Conference Paper %1 conf/ismvl/ChaiS14 %A Chai, Ming %A Schlingloff, Bernd-Holger %B ISMVL %D 2014 %I IEEE Computer Society %K %P 226-231 %T Online Monitoring of Distributed Systems with a Five-Valued LTL. %U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2014.html#ChaiS14 %@ 978-1-4799-3534-5

@inproceedings{conf/ismvl/ChaiS14, added-at = {2023-12-13T01:21:10.000+0100}, author = {Chai, Ming and Schlingloff, Bernd-Holger}, biburl = {https://www.bibsonomy.org/bibtex/296805022d8b58652b8286782c995681a/admin}, booktitle = {ISMVL}, crossref = {conf/ismvl/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2014.47}, interhash = {7059cab658d620a091e4471d51012cde}, intrahash = {96805022d8b58652b8286782c995681a}, isbn = {978-1-4799-3534-5}, keywords = {}, pages = {226-231}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T01:21:10.000+0100}, title = {Online Monitoring of Distributed Systems with a Five-Valued LTL.}, url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2014.html#ChaiS14}, year = 2014 }