• 342
    Citaties
1987 …2019

Onderzoeksresultaten per jaar

Filter
Hoofdstuk

Zoekresultaten

  • 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. (uitgave). Berlin: Springer, blz. 242-260 19 blz. (Lecture notes in computer science ; vol. 9660).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (uitgave). Berlin: Springer, blz. 66-73 8 blz. (Lecture Notes in Computer Science; vol. 5930).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    4 Citaten (Scopus)
  • 1995

    Traces and logic

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

  • 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. (uitgave). Frankfurt am Main: Peter Lang, blz. 229-262

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic