bibtex

@inproceedings{BBI2a,
    title = { Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems },
    author = {Bozga, Marius and Bueri, Lucas and Iosif, Radu},
    year = {2022},
    booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR} 2022, Haifa, Israel, August 8-10, 2022, Proceedings},
    pages = {691--711},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {13385},
    team = {axe_Mohytos, RSD},
    timestamp = {Mon, 24 Oct 2022 16:36:35 +0200}, biburl = {https://dblp.org/rec/conf/cade/BozgaBI22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3886007