APA citiranje

De Nicola, R., Di Stefano, L., & Inverso, O. (2018). Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Front Robot AI.

Citação norma Chicago

De Nicola, Rocco, Luca Di Stefano, and Omar Inverso. "Toward Formal Models and Languages for Verifiable Multi-Robot Systems." Front Robot AI 2018.

MLA citiranje

De Nicola, Rocco, Luca Di Stefano, and Omar Inverso. "Toward Formal Models and Languages for Verifiable Multi-Robot Systems." Front Robot AI 2018.