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
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930