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 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728