Che-Wei Chang, Rainer Dömer
May-happen-in-parallel analysis of ESL models using UPPAAL model checking
DATE, 2015.
@inproceedings{DATE-2015-ChangD,
acmid = "2757174",
author = "Che-Wei Chang and Rainer Dömer",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1567--1570",
publisher = "{ACM}",
title = "{May-happen-in-parallel analysis of ESL models using UPPAAL model checking}",
year = 2015,
}