Timed tuplix calculus and the Wesseling and van den Berg equation

Jan A. Bergstra Cornelis A. Middelburg

Published in: CoRR (2009)

Keyphrases

timed automata
petri net
model checking
theorem prover
computer algebra
differential equations
mathematical model
query language
velocity field
discrete event
multiscale
scale space
data sets
finite state machines
numerical methods
relational calculus
provably correct
information retrieval