| Title | K-induction based verification of real-time safety critical systems. |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Tóth, T., Majzik, I., and Vörös, A. |
| Editor | Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., and Kacprzyk, J. |
| Conference Name | Conference on Dependability and Complex Systems DepCoS-RELCOMEX |
| Date Published | 2013 |
| Publisher | Springer International Publishing |
| Conference Location | Brunów, Poland |
| ISBN Number | 978-3-319-00944-5 |
| URL | http://link.springer.com/chapter/10.1007%2F978-3-319-00945-2_43 |
| DOI | 10.1007/978-3-319-00945-2_43 |
