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

BGK00.bib

BGK00.bib — Bibtex bibliographic data, 373 bytes

File contents

@InProceedings{BGK00,
	author={K.~Bhargavan and C.~A.~Gunter and M.~Kim and I.~Lee and D.~Obradovic and O.~Sokolsky and M.~Viswanathan},
	title="Verisim: Formal Analysis of Network Simulations",
	booktitle="ACM International Symposium on Software Testing and Analysis (ISSTA)",
	pages="2--13",
	year=2000,
	month="August 22-24",
	address="Portland, Oregon, USA"
}
Document Actions
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930