Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Dams, D.
Volume
Title
152
Specification and implementation of components of a μCRL toolbox
Dams, D.
|
Groote, J.F.
145
On the Design of a Correct Freeness Analysis for Logic Programs
Bruynooghe, M.
|
Codish, M.
|
Dams, D.
|
Filé, G.
132
Abstract interpretation of reactive systems : preservation of CTL*
Dams, D.
|
Gerth, R.
|
Grumberg, O.
Online