Beek, Maurice H. ter
ter Beek, Maurice H.
Beek, Maurice H. ter 1972-
Maurice H. ter Beek researcher
VIAF ID: 289978404 ( Personal )
Permalink: http://viaf.org/viaf/289978404
Preferred Forms
-
- 100 1 _ ‡a Beek, Maurice H. ter
-
- 100 1 _ ‡a Beek, Maurice H. ter ‡d 1972-
- 100 0 _ ‡a Maurice H. ter Beek ‡c researcher
- 100 1 _ ‡a ter Beek, Maurice H.
4xx's: Alternate Name Forms (5)
5xx's: Related Names (3)
- 510 2 _ ‡a Consiglio nazionale delle ricerche ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Den Haag ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Pisa ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Architecting Dependable Systems VI | |
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings | |
Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings | |
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings | |
A mosaic of computational topics : from classical to novel : dedicated to Jetty Kleijn on the occasion of her 65th birthday | |
Web Services and Formal Methods |