A jointree algorithm for diagnosability and its application to the verification of distributed software systems
Date
2008
Authors
Schumann, A.
Mayer, W.E.
Stumptner, M.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings of the 19th international workshop on principles of diagnosis ,DX-08, 2008, pp.165-172
Statement of Responsibility
Conference Name
(22 Sep 2008 - 24 Sep 2008 : Blue Mountains, NSW, Australia)
Abstract
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright status unknown