A Calculus of Durations.

Zhou Chaochen C. A. R. Hoare Anders P. Ravn

Published in: Inf. Process. Lett. (1991)

Keyphrases

computer algebra
automated deduction
neural network
information systems
genetic algorithm
automated theorem proving
algebraic structure
artificial intelligence
image processing
website
expert systems
model checking
formal language
timed automata