Content available in repository
Content available in repository
Search results
-
2022
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Groote, J. F. (Editor) & Huisman, M. (Editor), 2022, Springer. (Lecture Notes in Computer Science; vol. 13487)Research output: Book/Report › Book editing › Academic › peer-review
-
Tales of electrologica: computers, software and people
Alberts, G. (Editor) & Groote, J. F. (Editor), 2022, Berlin: Springer. 201 p. (History of Computing)Research output: Book/Report › Book editing › Academic › peer-review
-
2021
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Groote, J. F. (Editor) & Larsen, K. G. (Editor), 2021, Springer. (Lecture Notes in Computer Science; vol. 12651)(Theoretical Computer Science and General Issues; vol. 12651)Research output: Book/Report › Book editing › Academic › peer-review
Open Access -
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
Groote, J. F. (Editor) & Larsen, K. G. (Editor), 2021, Springer. (Lecture Notes in Computer Science; vol. 12652)(Theoretical Computer Science and General Issues; vol. 12652)Research output: Book/Report › Book editing › Academic › peer-review
Open Access -
2015
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015
van Glabbeek, R. J. (Editor), Groote, J. F. (Editor) & Höfner, P. (Editor), 2015Research output: Book/Report › Book editing › Academic › peer-review
Open Access -
1998
Proceedings of the third international workshop on Formal Methods for industrial critical systems, Amsterdam, The Netherlands, May 25-26, 1988
Groote, J. F. (Editor), Luttik, S. P. (Editor) & Wamel, van, J. J. (Editor), 1998, Amsterdam: SMC. 370 p.Research output: Book/Report › Book editing › Academic › peer-review
-
1994
Semantics of specification languages (SoSL) : proceedings of the international workshop, Utrecht, The Netherlands, 25-27 October 1993
Andrews, D. J. (Editor), Groote, J. F. (Editor) & Middelburg, C. A. (Editor), 1994, Berlin: Springer. 355 p. (Workshops in computing)Research output: Book/Report › Book editing › Academic
-
1993
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings
Bezem, M. (Editor) & Groote, J. F. (Editor), 1993, Springer. (Lecture Notes in Computer Science; vol. 664)Research output: Book/Report › Book editing › Academic › peer-review
-
1991
CONCUR '91: 2nd international conference on concurrency theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings
Baeten, J. C. M. (Editor) & Groote, J. F. (Editor), 1991, Berlin: Springer. 540 p. (Lecture notes in computer science; vol. 527)(CONCUR, international conference on concurrency theory : proceedings; vol. 2)Research output: Book/Report › Book editing › Professional