bibtex

@inproceedings{BS2,
    title = {Correct by Design Coordination of Autonomous Driving Systems },
    author = {Bozga, Marius and Sifakis, Joseph},
    year = {2022},
    booktitle = {ISoLA {(3)}},
    pages = {13--29},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {13703},
    team = {axe_Mohytos, RSD},
}


Contact | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]

info visites 2145497