Concurrent Symbolic Verification of Liveness Properties for Interleaved Models.

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

probabilistic model
information systems
case study
experimental data
parameter estimation
mathematical models
data sets
high level
d objects
process model
computational models
classification models
desirable properties