Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints.

Kim Guldstrand Larsen Bernhard Steffen Carsten Weise

Published in: Hybrid Systems (1995)

Keyphrases

neural network
bayesian networks
objective function
lightweight
wireless networks
constraint satisfaction
constraint programming