bibtex

@article{BIS3,
    title = { Verification of component-based systems with recursive architectures },
    author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
    year = {2023},
    journal = {Theor. Comput. Sci.},
    pages = {146--175},
    volume = {940},
    team = {axe_Mohytos, RSD},
    timestamp = {Mon, 05 Dec 2022 13:35:12 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BozgaIS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 3885916