@PhdThesis{PModica2011,
  author       = {Tony Modica},
  title        = {Formal Modeling, Simulation, and Validation of Communication Platforms},
  year         = {2011},
  type = {PhDSupervision},
  file         = {PhDSupervised/Modica2011 - Formal Modeling, Simulation, and Validation of Communication Platforms.pdf:PDF},
  location  = {Fakult{\"a}t IV - Elektrotechnik und Informatik, Technische Universit{\"a}t Berlin}
}