Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems.

Gianfranco Lamperti, Xiangfu Zhao

Browse the full SMC paper archive.