Verimag

bibtex

@inproceedings{RM16,
    title = {Efficient Monitoring of Loose-Ordering Properties for System{C} {TLM} },
    author = {Romenska, Yuliia and Maraninchi, Florence},
    month = {mar},
    year = {2016},
    booktitle = {Design, Automation, and Test in Europe (DATE)},
    address = {Dresden, Germany},
    team = {SYNC},
}

Publication Sections


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

info visites 819499