Liviu Pene, Kamel Adi. A Calculus for Distributed Firewall Specification and Verification. In Hamido Fujita, Mohamed Mejri, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada. Volume 147 of Frontiers in Artificial Intelligence and Applications, pages 301-315, IOS Press, 2006.
@inproceedings{PeneA06, title = {A Calculus for Distributed Firewall Specification and Verification}, author = {Liviu Pene and Kamel Adi}, year = {2006}, researchr = {https://researchr.org/publication/PeneA06}, cites = {0}, citedby = {0}, pages = {301-315}, booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada}, editor = {Hamido Fujita and Mohamed Mejri}, volume = {147}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-58603-673-7}, }