bibtex

@inproceedings{IRS13b,
    title = {The Tree Width of Separation Logic with Recursive Definitions },
    author = {Iosif, Radu and Rogalewicz, Adam and Sim{\'a}cek, Jir\'{\i}},
    year = {2013},
    booktitle = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings},
    pages = {21-38},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {7898},
    team = {DCS,PACSS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4086078