Sciweavers

8 search results - page 1 / 2

» cav 1997

13

CAV
1997
Springer

97views Hardware» more CAV 1997»

Weak Bisimulation for Fully Probabilistic Processes

13 years 10 months ago

Weak Bisimulation for Fully Probabilistic Processes

Download www.inf.tu-dresden.de

Christel Baier, Holger Hermanns

claim paper

Read More »

12

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

13 years 10 months ago

Construction of Abstract State Graphs with PVS

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

13

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

13 years 10 months ago

Model Checking and Transitive-Closure Logic

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

14

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

13 years 10 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 »

14

CAV
1997
Springer

114views Hardware» more CAV 1997»

Partial-Order Reduction in Symbolic State Space Exploration

13 years 10 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 »