A jointree algorithm for diagnosability and its application to the verification of distributed software systems
Collections | ANU Research Publications |
---|---|
Date published: | 2008 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/52565 |
Source: | Proceedings of the 19th International Workshop on Principles of Diagnosis (DX-08) |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Schumann_A_jointree_algorithm_for_2008.pdf | 129.35 kB | Adobe PDF | Request a copy | |
02_Schumann_A_jointree_algorithm_for_2008.pdf | 57.73 kB | Adobe PDF | Request a copy | |
03_Schumann_A_jointree_algorithm_for_2008.pdf | 525.88 kB | Adobe PDF | Request a copy | |
04_Schumann_A_jointree_algorithm_for_2008.pdf | 932.65 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 19 May 2020/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator