A Counterexample to a Theorem of S. Piccard.

Published in: J. Comb. Theory, Ser. A (1977)

Keyphrases

model checking
formal verification
von neumann
viewpoint
special case
neural network
machine learning
database systems
wireless sensor networks
probability distribution
digital images