Login / Signup

A counterexample to a conjecture of Erdõs.

Türker Bíyíkoglu
Published in: Discret. Math. (2002)
Keyphrases
  • model checking
  • formal verification
  • data streams