He, J., Bartocci, E., Ničković, D., Isakovic, H., & Grosu, R. (2022, Mai 1). Deep STL: from english requirements to signal temporal logic. Gehalten auf der. https://doi.org/10.1145/3510003.3510171
ISO-690 (author-date, English)HE, Jie, BARTOCCI, Ezio, NIČKOVIĆ, Dejan, ISAKOVIC, Haris und GROSU, Radu, 2022. Deep STL: from english requirements to signal temporal logic. In: . 1 Mai 2022.
Modern Language Association 9th editionHe, J., E. Bartocci, D. Ničković, H. Isakovic, und R. Grosu. Deep STL: from english requirements to signal temporal logic. 2022, https://doi.org/10.1145/3510003.3510171.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
He, J., Bartocci, E., Ničković, D., Isakovic, H. und Grosu, R. (2022), „Deep STL: from english requirements to signal temporal logic.“, in , Bd. , verfügbar unter:https://doi.org/10.1145/3510003.3510171.