Seshia, S. A., Sadigh, D., & Sastry, S. S. (2015, June). Formal methods for semi-autonomous driving. Proceedings - ACM IEEE Design Automation Conference, 1-5. https://doi.org/10.1145/2744769.2747927
Citace podle Chicago (17th ed.)Seshia, Sanjit A., Dorsa Sadigh, a S. Shankar Sastry. "Formal Methods for Semi-autonomous Driving." Proceedings - ACM IEEE Design Automation Conference Jun. 2015: 1-5. https://doi.org/10.1145/2744769.2747927.
Citace podle MLA (9th ed.)Seshia, Sanjit A., et al. "Formal Methods for Semi-autonomous Driving." Proceedings - ACM IEEE Design Automation Conference, Jun. 2015, pp. 1-5, https://doi.org/10.1145/2744769.2747927.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..