@inproceedings{inproceedings, title  = {{Viewpoint Consistency in Z and LOTOS: A Case Study.}},

 publisher = {{Springer}},

 url = {{https://doi.org/10.1007/3-540-63533-5 }},

 year = {{1997}},

 month = {{1}},

 author = {{Boiten EA and Bowman H and Derrick J and Steen M}},

 volume = {{1313}},

 journal = {{FME}},

 pages = {{644-664}},

 note = {{Accessed on 2024/12/26}}}