Formal Modeling, Simulation, and Validation of Communication Platforms

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},
}