Reachability of Hennessy-Milner Properties for Weakly Extended PRS.

Mojmír Kretínský Vojtech Rehák Jan Strejcek

Published in: FSTTCS (2005)

Keyphrases

desirable properties
real time
databases
artificial intelligence
state space
data sets
neural network
information retrieval
multimedia
special case
transitive closure