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 },
}