bibtex

@article{BIS1,
    title = { Checking deadlock-freedom of parametric component-based systems },
    author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
    year = {2021},
    journal = {J. Log. Algebraic Methods Program.},
    pages = {100621},
    volume = {119},
    team = {axe_Mohytos, RSD},
    timestamp = {Wed, 07 Apr 2021 15:59:25 +0200}, biburl = {https://dblp.org/rec/journals/jlap/BozgaIS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 1994445