CITATION STYLE
Hörl, J., & Aichernig, B. K. (1999). Formal specification of a voice communication system used in air traffic control an industrial application of light-weight formal methods using VDM++. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, p. 1868). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_59
Mendeley helps you to discover research relevant for your work.