Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. Duggirala, P. S.; Wang, L.; Mitra, S.; Viswanathan, M.; and Muñoz, C. A. In Jones, C. B.; Pihlajasaari, P.; and Sun, J., editors, FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, volume 8442, of Lecture Notes in Computer Science, pages 215–229, 2014. Springer.
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/fm/DuggiralaWMVM14,
  author    = {Parasara Sridhar Duggirala and
               Le Wang and
               Sayan Mitra and
               Mahesh Viswanathan and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  editor    = {Cliff B. Jones and
               Pekka Pihlajasaari and
               Jun Sun},
  title     = {Temporal Precedence Checking for Switched Models and Its Application
               to a Parallel Landing Protocol},
  booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
               May 12-16, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8442},
  pages     = {215--229},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06410-9\_16},
  doi       = {10.1007/978-3-319-06410-9\_16},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/DuggiralaWMVM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0