Pietro Torasso and Gianluca Torta: Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. (2005)conf/ki/TorassoT0510.1007/11551263_15Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis.2Pietro Torasso1Gianluca Torta2176-190KIKI20052005provenance information for RDF data of dblp record 'conf/ki/TorassoT05'2022-10-02T16:11:04+0200