Publications Login
Home List all
@inproceedings{WBM2012a,
	author          = {M. Woehrle and R. Bakhshi and M. Mousavi},
	title           = {Mechanized extraction of topology anti-patterns in wireless networks},
	booktitle       = {9th int. conf. on Integrated Formal Methods},
	publisher       = {Springer},
	year            = {2012},
	month           = {June},
	series          = {IFM'12},
	pages           = {158-173},
	isbn            = {978-3-642-30728-7},
	url             = {http://www.es.ewi.tudelft.nl/papers/2012-Woehrle-antipatterns.pdf},
	project         = {D2S2},
	topic           = {Testing},
	group           = {ES}
}