Original language | English |
---|---|
Publication status | Published - 1 Jan 2003 |
Technical Report CSR-03-13: An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis
R Mehmood, David Parker, Marta Kwiatkowska
Research output: Working paper/Preprint › Working paper