Sciweavers

8 search results - page 1 / 2

» cav 1997

29

CAV
1997
Springer

97views Hardware» more CAV 1997»

Weak Bisimulation for Fully Probabilistic Processes

14 years 3 months ago

Weak Bisimulation for Fully Probabilistic Processes

Download www.inf.tu-dresden.de

Christel Baier, Holger Hermanns

claim paper

Read More »

27

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

14 years 3 months ago

Construction of Abstract State Graphs with PVS

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

31

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

14 years 3 months ago

Model Checking and Transitive-Closure Logic

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

28

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

14 years 3 months ago

STARI: A Case Study in Compositional and Hierarchical Timing Verification

Download network.ku.edu.tr

Serdar Tasiran, Robert K. Brayton

claim paper

Read More »

27

CAV
1997
Springer

114views Hardware» more CAV 1997»

Partial-Order Reduction in Symbolic State Space Exploration

14 years 3 months ago

Partial-Order Reduction in Symbolic State Space Exploration

Download mtc.epfl.ch

Rajeev Alur, Robert K. Brayton, Thomas A. Henzinge...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »