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

BGK02.bib

BGK02.bib — Bibtex bibliographic data, 342 bytes

File contents

@article{BGK02,
	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",
	journal = "IEEE Transactions on Software Engineering (TSE)",
	volume=28,
	number=2,
	pages="129--145", 
	year="2002",
	month="February"
}
Document Actions
« February 2020 »
February
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
242526272829