![](/img/cover-not-exists.png)
[IEEE 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Sophia Antipolis (2017.9.13-2017.9.15)] 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Modeling and reasoning about wireless networks: A graph-based calculus approach
Liu, Shichao, Jiang, YingYear:
2017
Language:
english
DOI:
10.1109/TASE.2017.8285639
File:
PDF, 368 KB
english, 2017