1991 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output


Concurrency Verification: Introduction to Compositional and Noncompositional Methods

de Roever, W-P., de Boer, F., Hanneman, U., Hooman, J., Lakhneche, Y., Poel, M. & Zwiers, J., 2001, Cambridge, UK: Cambridge University Press. 776 p. (Cambridge Tracts in Theoretical Computer Science; vol. 54)

Research output: Book/ReportBookAcademic

Open Access
225 Downloads (Pure)

Verifying Sequentially Consistent Memory

Brinksma, E., Davies, J., Gerth, R., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J., 1994, Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p. (Computing Science Report; no. 94/44)

Research output: Book/ReportBookProfessional

Open Access
14 Downloads (Pure)