Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL*

Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL, $\exists$CTL and CTL*

D.R. Dams, O. Grumberg, R.T. Gerth

Research output: Book/Report › Report › Academic

43 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	27
Publication status	Published - 1994

Name	Computing science notes
Volume	9424

TY - BOOK

T1 - Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL*

AU - Dams, D.R.

AU - Grumberg, O.

AU - Gerth, R.T.

PY - 1994

Y1 - 1994

M3 - Report

T3 - Computing science notes

BT - Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL*

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -