Sign in
Interleaved progress, concurrent progress, and local progress.
Wolfgang Reisig
Published in:
Partial Order Methods in Verification (1996)
Keyphrases
</>
neural network
data sets
databases
data mining
knowledge base
high level
long term
success or failure