Optimizing Protocol Rewrite Rules of CIL Specifications

Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe. Optimizing Protocol Rewrite Rules of CIL Specifications. In CSFW. pages 52-62, 2000. [doi]

Abstract

Abstract is missing.