bibtex

@article{ABI+2,
    title = { Reasoning about distributed reconfigurable systems },
    author = {Ahrens, Emma and Bozga, Marius and Iosif, Radu and Katoen, Joost{-}Pieter},
    year = {2022},
    journal = {Proc. {ACM} Program. Lang.},
    pages = {145--174},
    volume = {6},
    team = {axe_Mohytos, RSD},
    timestamp = {Mon, 05 Dec 2022 13:35:14 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AhrensBIK22.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 3885781