CSP and CSP Nets: A Dual Model for Protocol Specification and Verification.

Wolfgang Jürgensen Son T. Vuong

Published in: PSTV (1984)

Keyphrases

database
constraint satisfaction problems
artificial intelligence
probabilistic model
data model
data driven
building blocks
constraint satisfaction
constraint propagation