John S. Fitzgerald, Cliff B. Jones. Proof in the Analysis of a Model of a Tracking System. In Juan Bicarregui, editor, Proof in VDM: Case Studies. Formal Approaches to Computing and Information Technology (FACIT), pages 1-29, Springer, 1998. [doi]
@incollection{FitzgeraldJ98,
title = {Proof in the Analysis of a Model of a Tracking System},
author = {John S. Fitzgerald and Cliff B. Jones},
year = {1998},
doi = {10.1007/978-1-4471-1532-8_1},
url = {https://doi.org/10.1007/978-1-4471-1532-8_1},
researchr = {https://researchr.org/publication/FitzgeraldJ98},
cites = {0},
citedby = {0},
pages = {1-29},
booktitle = {Proof in VDM: Case Studies},
editor = {Juan Bicarregui},
series = {Formal Approaches to Computing and Information Technology (FACIT)},
publisher = {Springer},
isbn = {978-3-540-76186-0},
}