bibtex

@inproceedings{Kar6,
    title = { {LPI:} Software Verification with Local Policy Iteration - (Competition Contribution) },
    author = {Karpenkov, Egor George},
    year = {2016},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software},
    pages = {930--933},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9636},
    team = {PACSS},
    timestamp = {Fri, 02 Nov 2018 09:42:33 +0100}, biburl = {https://dblp.org/rec/bib/conf/tacas/Karpenkov16}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 4088287