Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Grumberg, O.
Volume
Title
132
Abstract interpretation of reactive systems : preservation of CTL*
Dams, D.
|
Gerth, R.
|
Grumberg, O.
Online