Login / Signup
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