Langerak, R., Brinksma, E. & Katoen, J.-P., 1997, CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Mazurkiewicz, A. & Winkowski, J. (eds.). Berlin, Heidelberg: Springer, p. 317-33215 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review