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