Search Results - Groote, J. F. (Jan Friso), 1965-
-
1
-
2
-
3
-
4
Understanding behaviour of distributed systems using mCRL2 /
Published 2023Full Text (via Springer)
eBook
-
5
Logical gates, circuits, processors, compilers and computers /
Published 2021Full Text (via Springer)
eBook -
6
Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings /
Published 2022Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via Springer)
Conference Proceeding eBook -
7
CONCUR'91 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings /
Published 1991Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
8
Typed lambda calculi and applications International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings /
Published 1993Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
Tales of electronologica : computers, software and people /
Published 2022Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via Springer)
eBook -
10
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...
Published 2021Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via EBSCO)
Conference Proceeding eBook -
11
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...
Published 2021Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via EBSCO)
Conference Proceeding eBook -
12
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...
Published 2021Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via Springer)
Conference Proceeding eBook -
13
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...
Published 2021Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Full Text (via Springer)
Conference Proceeding eBook -
14
Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Published 1994Other Authors: “…Groote, J. F. (Jan Friso), 1965-…”
Conference Proceeding Book