1991 …2020

Research output per year

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

Research Output

Filter
Book
2001

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
File
132 Downloads (Pure)
1994

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
File
13 Downloads (Pure)