Safraless procedures for timed specifications
Submitted by verif on Fri, 26/08/2011 - 11:35
Technical Report PDF:
Technical Report Number:
2010.142 Title | Safraless procedures for timed specifications |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Di Giampaolo, B, Geeraerts G, Raskin J-F, Sznajder N |
Editor | Springer |
Conference Name | Proceedings of FORMATS 2010, 8th International Conference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems |
URL | http://www.ulb.ac.be/di/ssd/ggeeraer/papers/safraless.pdf |
Refereed Designation | Refereed |
»