| Cím | K-induction based verification of real-time safety critical systems. |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2013 |
| Szerzők | Tóth, T., Majzik, I., and Vörös, A. |
| Szerkesztő | Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., and Kacprzyk, J. |
| Konferencia neve | Conference on Dependability and Complex Systems DepCoS-RELCOMEX |
| Kiadás dátuma | 2013 |
| Kiadó | Springer International Publishing |
| Konferencia helyszíne | Brunów, Poland |
| ISBN-szám | 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 |
