Publications

Demri et al, 2013

Summary

Stéphane Demri, Diego Figueira, and M. Praveen (2013) Reasoning about Data Repetitions with Counter Systems LICS 2013 IEEE Computer Society Press 33–42 (URL)

BibTeX entry

@INPROCEEDINGS { DemriFP13,
    AUTHOR = { St{\'e}phane Demri and Diego Figueira and M. Praveen },
    TITLE = { Reasoning about Data Repetitions with Counter Systems },
    YEAR = { 2013 },
    MONTH = { },
    BOOKTITLE = { LICS 2013 },
    CONFNAME = { Annual ACM/IEEE Symposium on Logic in Computer Science },
    CONFNUM = { 28th },
    LOCATION = { New Orleans, Louisiana, USA },
    DOI = { 10.1109/LICS.2013.8 },
    PAGES = { 33--42 },
    PUBLISHER = { IEEE Computer Society Press },
}