A counterexample to a conjecture of Jackson and Wormald.

Published in: Australas. J Comb. (1999)

Keyphrases

model checking
queueing networks
formal verification
stationary distribution
pairwise
semi supervised
social networks
active learning
linear programming
markov chain