Valid formulas, games and network protocols

Jean-Louis Krivine Yves Legrandgérard

Published in: CoRR (2007)

Keyphrases

network protocols
smart grid
wireless mesh networks
anomaly detection