Mechanized extraction of topology anti-patterns in wireless networks

M Woehrle, R Bakhsi, MG Mousavi

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publication9th int. conf. on Integrated Formal Methods
EditorsJ Derrick, S Gnesi, D Latella, H Trehame
PublisherSpringer
Pages158-173
Number of pages16
ISBN (Print)978-3-642-30728-7
Publication statusPublished - 2012

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume7321
ISSN (Print)0302-9743

Keywords

  • CWTS JFIS < 0.75

Cite this

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