Meine van der Meulen, Tim Clement. Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. In Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann, editors, Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Volume 1641 of Lecture Notes in Computer Science, pages 296-301, Springer, 1998.
@inproceedings{MeulenC98,
title = {Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier},
author = {Meine van der Meulen and Tim Clement},
year = {1998},
researchr = {https://researchr.org/publication/MeulenC98},
cites = {0},
citedby = {0},
pages = {296-301},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings},
editor = {Dieter Hutter and Werner Stephan and Paolo Traverso and Markus Ullmann},
volume = {1641},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66462-9},
}