%0 Conference Paper %1 conf/csfw/DenkerMGF00 %A Denker, Grit %A Millen, Jonathan K. %A Grau, Antonio %A Filipe, Juliana Küster %B CSFW %D 2000 %I IEEE Computer Society %K dblp %P 52-62 %T Optimizing Protocol Rewrite Rules of CIL Specifications. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2000.html#DenkerMGF00 %@ 0-7695-0671-2

@inproceedings{conf/csfw/DenkerMGF00, added-at = {2023-03-24T00:00:00.000+0100}, author = {Denker, Grit and Millen, Jonathan K. and Grau, Antonio and Filipe, Juliana Küster}, biburl = {https://www.bibsonomy.org/bibtex/2c92fddf2e8bbf68a051ef4b54caeb9fc/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2000.856925}, interhash = {d6ebbd1c60b083080bf69c70644531d1}, intrahash = {c92fddf2e8bbf68a051ef4b54caeb9fc}, isbn = {0-7695-0671-2}, keywords = {dblp}, pages = {52-62}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:00.000+0200}, title = {Optimizing Protocol Rewrite Rules of CIL Specifications.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2000.html#DenkerMGF00}, year = 2000 }