@inproceedings{FFM+06,
title = {{A Test Calculus Framework Applied to Network Security Policies} },
author = {Falcone, Ylies and Fernandez, Jean-Claude and Mounier, Laurent and Richier, Jean-Luc},
month = {July},
year = {2006},
booktitle = {FATES/RV'06},
address = {Seattle, USA},
pages = {55--69},
team = {DCS,PACSS},
}