| Title | A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol |
| Publication Type | Book Chapter |
| Year of Publication | 2015 |
| Authors | Tóth, T., Vörös, A., and Majzik, I. |
| Editor | Fantechi, A., and Pelliccione, P. |
| Book Title | Software Engineering for Resilient Systems |
| Series Title | Lecture Notes in Computer Science |
| Volume | 9274 |
| Pagination | 31-45 |
| Publisher | Springer International Publishing |
| ISBN | 978-3-319-23129-7 |
| URL | http://link.springer.com/chapter/10.1007/978-3-319-23129-7_3 |
| DOI | 10.1007/978-3-319-23129-7_3 |
