Parameterized verification of distributed cyber-physical systems: An aircraft landing protocol case study (bibtex)

Reference:

Taylor T. Johnson and S Mitra, "Parameterized verification of distributed cyber-physical systems: An aircraft landing protocol case study", In 3rd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'12), IEEE, pp. 161–170, 2012.

Bibtex Entry:

@inproceedings{johnson2012iccps,
  title = {Parameterized verification of distributed cyber-physical systems: An aircraft landing protocol case study},
  author = {Taylor T. Johnson and S Mitra},
  year = {2012},
  month = apr,
  booktitle = {3rd ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'12)},
  pages = {161--170},
  publisher = {IEEE},
  doi = {10.1109/ICCPS.2012.24},
  publabel = {C3},
  pubtype = {C},
  gsid = {11740586308134469378},
  pdf = "research/johnson2012iccps.pdf",
}