Login / Signup
Review of Modal and temporal properties of processes by Colin Stirling. Springer Verlag 2001.
Vicky Weissman
Published in:
SIGACT News (2003)
Keyphrases
</>
temporal properties
springer verlag
model checking
possibility theory
formal methods
computer society
multi agent
knowledge acquisition
data mining
genetic algorithm
pattern recognition
expert systems
case based reasoning
san diego