Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. Duggirala, P. S., Wang, L., Mitra, S., Viswanathan, M., & Muñoz, C. A. In Jones, C. B., Pihlajasaari, P., & 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. 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
{"_id":"K7G9cZCiHyHrm2Fpp","bibbaseid":"duggirala-wang-mitra-viswanathan-muoz-temporalprecedencecheckingforswitchedmodelsanditsapplicationtoaparallellandingprotocol-2014","downloads":0,"creationDate":"2019-02-23T06:37:55.976Z","title":"Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol","author_short":["Duggirala, P. S.","Wang, L.","Mitra, S.","Viswanathan, M.","Muñoz, C. A."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Parasara","Sridhar"],"propositions":[],"lastnames":["Duggirala"],"suffixes":[]},{"firstnames":["Le"],"propositions":[],"lastnames":["Wang"],"suffixes":[]},{"firstnames":["Sayan"],"propositions":[],"lastnames":["Mitra"],"suffixes":[]},{"firstnames":["Mahesh"],"propositions":[],"lastnames":["Viswanathan"],"suffixes":[]},{"firstnames":["César","A."],"propositions":[],"lastnames":["Muñoz"],"suffixes":[]}],"editor":[{"firstnames":["Cliff","B."],"propositions":[],"lastnames":["Jones"],"suffixes":[]},{"firstnames":["Pekka"],"propositions":[],"lastnames":["Pihlajasaari"],"suffixes":[]},{"firstnames":["Jun"],"propositions":[],"lastnames":["Sun"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/fm/DuggiralaWMVM14,\n author = {Parasara Sridhar Duggirala and\n Le Wang and\n Sayan Mitra and\n Mahesh Viswanathan and\n C{\\'{e}}sar A. Mu{\\~{n}}oz},\n editor = {Cliff B. Jones and\n Pekka Pihlajasaari and\n Jun Sun},\n title = {Temporal Precedence Checking for Switched Models and Its Application\n to a Parallel Landing Protocol},\n booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,\n May 12-16, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8442},\n pages = {215--229},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-06410-9\\_16},\n doi = {10.1007/978-3-319-06410-9\\_16},\n timestamp = {Tue, 14 May 2019 10:00:46 +0200},\n biburl = {https://dblp.org/rec/conf/fm/DuggiralaWMVM14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Duggirala, P. S.","Wang, L.","Mitra, S.","Viswanathan, M.","Muñoz, C. A."],"editor_short":["Jones, C. B.","Pihlajasaari, P.","Sun, J."],"key":"DBLP:conf/fm/DuggiralaWMVM14","id":"DBLP:conf/fm/DuggiralaWMVM14","bibbaseid":"duggirala-wang-mitra-viswanathan-muoz-temporalprecedencecheckingforswitchedmodelsanditsapplicationtoaparallellandingprotocol-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-06410-9_16"},"downloads":0},"search_terms":["temporal","precedence","checking","switched","models","application","parallel","landing","protocol","duggirala","wang","mitra","viswanathan","muñoz"],"keywords":["dblp"],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}