Personal tools
You are here: Home Publications bibtex Kim07.bib

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"
}
Document Actions
« February 2020 »
February
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
242526272829