Search Sciweavers | Sciweavers

153 search results - page 6 / 31

» entcs 2002

click to vote

ENTCS
2002

52views more ENTCS 2002»

Correct and Complete (Positive) Strategy Annotations for OBJ

14 years 10 months ago

Download users.dsic.upv.es

María Alpuente, Santiago Escobar, Salvador ...

claim paper

Read More »

click to vote

ENTCS
2002

64views more ENTCS 2002»

Liveness Checking as Safety Checking

14 years 10 months ago

Download www.schuppan.de

Armin Biere, Cyrille Artho, Viktor Schuppan

claim paper

Read More »

click to vote

ENTCS
2002

67views more ENTCS 2002»

Systematic Component Adaptation

14 years 10 months ago

Download www.di.unipi.it

Andrea Bracciali, Antonio Brogi, Carlos Canal

claim paper

Read More »

click to vote

ENTCS
2002

69views more ENTCS 2002»

Tiling Transactions in Rewriting Logic

14 years 10 months ago

Download formal.cs.uiuc.edu

Roberto Bruni, José Meseguer, Ugo Montanari

claim paper

Read More »

click to vote

ENTCS
2002

56views more ENTCS 2002»

Using Assumptions to Distribute CTL Model Checking

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers