Search Sciweavers | Sciweavers

8949 search results - page 167 / 1790

» is 1998

135

click to vote

TACAS
1998
Springer

95views Algorithms» more TACAS 1998»

Symbolic Exploration of transition Hierarchies

15 years 10 months ago

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajama...

claim paper

Read More »

141

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

352

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

15 years 10 months ago

Download www.cs.uni-paderborn.de

Fabio Gadducci, Reiko Heckel, Manuel Koch

claim paper

Read More »

123

click to vote

TARK
1998
Springer

81views Automated Reasoning» more TARK 1998»

Using Counterfactuals in Knowledge-Based Programming

15 years 10 months ago

Download www.cs.math.ist.utl.pt

Joseph Y. Halpern, Yoram Moses

claim paper

Read More »

145

click to vote

TARK
1998
Springer

136views Automated Reasoning» more TARK 1998»

Belief Revision and Rationalizability

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers