bibtex

@inproceedings{BEI+0,
    title = { Structural Invariants for the Verification of Systems with Parameterized Architectures },
    author = {Bozga, Marius and Esparza, Javier and Iosif, Radu and Sifakis, Joseph and Welzel, Christoph},
    year = {2020},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, , Proceedings, Part {I}},
    pages = {228--246},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {12078},
    team = {RSD},
    timestamp = {Mon, 04 May 2020 13:23:20 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BozgaEISW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Publication Sections


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

info visites 1682201