Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Koymans, C.P.J.
Volume
Title
50
Inductive definitions in COLD-K
Koymans, C.P.J.
|
Renardel de Lavalette, G.R.
9
A semantic framework for the COLD-family of languages
Jonkers, H.B.M.
|
Koymans, C.P.J.
|
Renardel de Lavalette, G.R.
6
A modular approach to protocol verification using process algebra
Koymans, C.P.J.
|
Mulder, J.C.
Online