Return to Coronet Books main page

Clocks, DBMs & States in Timed Systems
Uppsala Dissertations from the Faculty of Science & Technology, No. 39

By John Bengtsson
July 2002
Uppsala University Press
ISBN: 91-554-5350-3
143 pages, Illustrated, 6 ½ x 9 ½"
$41.00 paper original

---

Partial contents: DBM: Structures, Operations & Implementation. Reachability Analysis of Timed Automata Containing Constraints on Clock Differences. Reducing Memory Storage Usage in Symbolic State-Space Exploration for Timed Systems. Partial Order Reductions for Timed Systems. Automated Verification of an Audio-Control Protocol Using UPPAAL.



Computer Science