| Title | Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Pintér, G., and Majzik, I. |
| Conference Name | Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005) |
| Date Published | 2005 |
| Publisher | IEEE Computer Society Press |
| URL | http://www.mit.bme.hu/~pinter/publications-files/pinter-majzik-2005-hase-automatic-generation-of-executable-assertions-for-runtime-checking-temporal-requirements.pdf |
