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