Taylor T. Johnson, Sayan Mitra. Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 161-170, IEEE, 2012. [doi]
@inproceedings{JohnsonM12, title = {Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study}, author = {Taylor T. Johnson and Sayan Mitra}, year = {2012}, doi = {10.1109/ICCPS.2012.24}, url = {http://doi.ieeecomputersociety.org/10.1109/ICCPS.2012.24}, researchr = {https://researchr.org/publication/JohnsonM12}, cites = {0}, citedby = {0}, pages = {161-170}, booktitle = {2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012}, publisher = {IEEE}, isbn = {978-1-4673-1537-1}, }