How Linear Can Branching-Time Be?

Orna Grumberg Robert P. Kurshan

Published in: ICTL (1994)

Keyphrases

data mining
closed form
linear model
real time
image processing
similarity measure
expert systems
medical images
temporal logic
temporal reasoning