CITATION STYLE
Buth, B., & Schrönen, M. (1999). Model-checking the architectural design of a fail-safe communication system for railway interlocking systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, p. 1869). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_60
Mendeley helps you to discover research relevant for your work.