List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@inproceedings{glst2012a,
 author = {Georgia Giannopoulou and Kai Lampka and Nikolay Stoimenov and Lothar Thiele},
 title = {Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems},
 address = {Tampere, Finland},
 booktitle = {Proc. International Conference on Embedded Software (EMSOFT)},
 pages = {63--72},
 publisher = {ACM},
 month = {Oct},
 year = {2012}
}

---

1 entry found.

 
 Back