Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models.

Published in: CAV (1998)

Keyphrases

statistical models
machine learning
probabilistic model
mathematical models
asynchronous circuits
database
information retrieval
artificial intelligence
complex systems
statistical model