Duration Calculus
Article Index for
Duration
Website Links For
Calculus
Information About
Duration Calculus
CATEGORIES ABOUT DURATION CALCULUS
formal specification languages
logic in computer science
modal logic
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...
SEE ALSO
Interval Temporal Logic
(ITL)
Temporal Logic
Temporal Logic Of Actions
(TLA)
Modal Logic
REFERENCES
.
, Monographs in Theoretical Computer Science, An
EATCS
Series,
2003
. ISBN 3-540-40823-1.
EXTERNAL LINKS
Duration Calculus — Virtual Library entry
DCVALID: A tool for model-checking Duration Calculus formulae
IDLVALID: Model checking dense time Duration Calculus formulae