Kim07.bib
Kim07.bib
—
Bibtex bibliographic data,
341 bytes
File contents
@InProceedings{Kim07,
author={M.~Kim},
title="Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances",
booktitle="Automated Technology for Verification and Analysis (ATVA)",
series={LNCS},
volume={4762},
pages="489--500",
year=2007,
month="October 22-25",
address="Tokyo, Japan"
}
