Weiwei Chen, Xu Han, Rainer Dömer
May-happen-in-parallel analysis based on segment graphs for safe ESL models
DATE, 2014.
@inproceedings{DATE-2014-ChenHD,
author = "Weiwei Chen and Xu Han and Rainer Dömer",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.300",
pages = "1--6",
publisher = "{IEEE}",
title = "{May-happen-in-parallel analysis based on segment graphs for safe ESL models}",
year = 2014,
}