Pajic, M., Bezzo, N., Weimer, J., Alur, R., Mangharam, R., Michael, N., … Lee, I. (2013). Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. In Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems (pp. 75–76). ACM. https://doi.org/10.1145/2461446.2461457

Pajic, Miroslav, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, et al. “Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract.” In Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems, 75–76. ACM, 2013. https://doi.org/10.1145/2461446.2461457.

Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, et al. Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. In: Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems. ACM; 2013. p. 75–6.

Pajic, Miroslav, et al. “Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract.” Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems, ACM, 2013, pp. 75–76. Manual, doi:10.1145/2461446.2461457.

Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, Pappas GJ, Sokolsky O, Tabuada P, Weirich S, Lee I. Towards Synthesis of Platform-aware Attack-resilient Control Systems: Extended Abstract. Proceedings of the 2Nd ACM International Conference on High Confidence Networked Systems. ACM; 2013. p. 75–76.