LiU Homepage
BibTeX Entry: An Efficient Algorithm for Finding Minimal Over-constrained Sub-systems for Model-based Diagnosis |
@article{MSOalg:2006,
author = {Mattias Krysander and Jan {\AA}slund and Mattias Nyberg},
title = {An Efficient Algorithm for Finding Minimal Over-constrained Sub-systems for Model-based Diagnosis},
journal = {IEEE Transactions on Systems, Man, and Cybernetics -- Part A: Systems and Humans},
volume = {38},
number = {1},
year = {2008}
}
Informationsansvarig: webmaster
Senast uppdaterad: 2021-11-10
