![]() |
@inproceedings{DBLP:conf/csfw/DenkerMGF00,
author = {Grit Denker and
Jonathan K. Millen and
Antonio Grau and
Juliana K{\"u}ster Filipe},
title = {Optimizing Protocol Rewrite Rules of CIL Specifications},
booktitle = {CSFW},
year = {2000},
pages = {52-62},
ee = {http://www.computer.org/proceedings/csfw/0671/06710052abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)