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 |
»