Mechanized extraction of topology anti-patterns in wireless networks

M Woehrle; R Bakhsi; MG Mousavi

Mechanized extraction of topology anti-patterns in wireless networks

M Woehrle, R Bakhsi, MG Mousavi

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	9th int. conf. on Integrated Formal Methods
Editors	J Derrick, S Gnesi, D Latella, H Trehame
Publisher	Springer
Pages	158-173
Number of pages	16
ISBN (Print)	978-3-642-30728-7
Publication status	Published - 2012

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	7321
ISSN (Print)	0302-9743

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{d1a50abe9ff94de19216c914986fe2f0,

title = "Mechanized extraction of topology anti-patterns in wireless networks",

keywords = "CWTS JFIS < 0.75",

author = "M Woehrle and R Bakhsi and MG Mousavi",

year = "2012",

language = "Undefined/Unknown",

isbn = "978-3-642-30728-7",

publisher = "Springer",

pages = "158--173",

editor = "J Derrick and S Gnesi and D Latella and H Trehame",

booktitle = "9th int. conf. on Integrated Formal Methods",

}

Mechanized extraction of topology anti-patterns in wireless networks. / Woehrle, M; Bakhsi, R; Mousavi, MG.
9th int. conf. on Integrated Formal Methods. ed. / J Derrick; S Gnesi; D Latella; H Trehame. Springer, 2012. p. 158-173 (Lecture Notes in Computer Science; Vol. 7321).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Mechanized extraction of topology anti-patterns in wireless networks

AU - Woehrle, M

AU - Bakhsi, R

AU - Mousavi, MG

PY - 2012

Y1 - 2012

KW - CWTS JFIS < 0.75

UR - http://www.es.ewi.tudelft.nl/papers/2012-Woehrle-antipatterns.pdf

M3 - Conference contribution

SN - 978-3-642-30728-7

SP - 158

EP - 173

BT - 9th int. conf. on Integrated Formal Methods

A2 - Derrick, J

A2 - Gnesi, S

A2 - Latella, D

A2 - Trehame, H

PB - Springer

ER -

Mechanized extraction of topology anti-patterns in wireless networks

Publication series

Keywords

Other files and links

Cite this