bibtex

@inproceedings{RM6,
    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},
}


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

info visites 4159439