bibtex

@techreport{BIS8,
    title = { Checking Deadlock-Freedom of Parametric Component-Based Systems },
    author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph},
    year = {2018},
    eprint = {1805.10073},
    journal = {CoRR},
    volume = {abs/1805.10073},
    team = {RSD},
    archiveprefix = {arXiv}, timestamp = {Mon, 13 Aug 2018 16:49:03 +0200}, biburl = {https://dblp.org/rec/bib/journals/corr/abs-1805-10073}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Publication Sections


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

info visites 1246341