Tony Modica. Formal Modeling, Simulation, and Validation of Communication Platforms. PhD thesis, Berlin Institute of Technology, 2012. [doi]
@phdthesis{dnb-896, title = {Formal Modeling, Simulation, and Validation of Communication Platforms}, author = {Tony Modica}, year = {2012}, url = {http://d-nb.info/1028072295}, researchr = {https://researchr.org/publication/dnb-896}, cites = {0}, citedby = {0}, school = {Berlin Institute of Technology}, }