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