The Rest Says Unchanged (Concurrency and State-Based Specification).

David H. Pitt Paddy Byers

Published in: Formal Aspects Comput. (1994)

Keyphrases

database
data mining
state space
database systems
neural network
case study
image sequences
specification language