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
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930