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
« October 2019 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031