Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Zoekresultaten
-
2024
It’s All a Game: Apartness and Bisimilarity
Keiren, J. J. A. & Willemse, T. A. C., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, blz. 150-167 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review
-
2008
Designing case handling systems
Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (uitgave). Berlin: Springer, blz. 119-133 (Lecture Notes in Computer Science; vol. 5100).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic
8 Citaten (Scopus)1 Downloads (Pure)