• Source: Scopus
1987 …2019

Content available in repository

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

Search results

  • 2016

    Towards a proof method for paradigm

    Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (eds.). Lecture Notes in Computer Science ed. Berlin: Springer, Vol. 9660. p. 242-260 19 p. (Lecture notes in computer science ; vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Downloads (Pure)
  • 2010

    A small step for mankind

    Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    2 Citations (Scopus)
  • 1995

    Traces and logic

    Penczek, W. & Kuiper, R., 1995, The Book of Traces. Diekert, V. & Rozenberg, G. (eds.). Singapore: World Scientific, p. 307-390

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • 1994

    Verification by hand using linear time temporal logic

    Penczek, W. & Kuiper, R., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M. & et al., X. (eds.). Frankfurt am Main: Peter Lang, p. 229-262

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic