共 50 条
- [21] Simplicial models for the epistemic logic of faulty agents BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA, 2024, 30 (03):
- [23] On metric temporal logic and faulty turing machines FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 217 - 230
- [24] Test and diagnosis of faulty logic blocks in FPGAs IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (02): : 100 - 106