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
Uppsala University Press
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.