author = { Dong, Weijie AND Yin, Xiang AND Li, Shaoyuan },

title = { A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic },

publisher = {Institute of Electrical and Electronics Engineers (IEEE)},

isbn = {0018-9286},

isbn = {1558-2523},

isbn = {2334-3303},

keywords = { Electrical and Electronic Engineering , Computer Science Applications , Control and Systems Engineering },

year = {2024},

url = { http://slubdd.de/katalog?TN_libero_mab2 }