Search Sciweavers | Sciweavers

274 search results - page 14 / 55

» corr 2004

click to vote

CORR
2004
Springer

88views Education» more CORR 2004»

A Trace Logic for Local Security Properties

14 years 10 months ago

Download www.ub.utwente.nl

Ricardo Corin, Antonio Durante, Sandro Etalle, Pie...

claim paper

Read More »

click to vote

CORR
2004
Springer

92views Education» more CORR 2004»

Paraconsistent Intuitionistic Fuzzy Relational Data Model

14 years 10 months ago

Download tinman.cs.gsu.edu

Rajshekhar Sunderraman, Haibin Wang

claim paper

Read More »

click to vote

CORR
2004
Springer

99views Education» more CORR 2004»

Diagnosabilities of regular networks

14 years 10 months ago

Download math.cts.ntu.edu.tw

Guey-Yun Chang, Gerard J. Chang, Gen-Huey Chen

claim paper

Read More »

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

14 years 10 months ago

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

click to vote

CORR
2004
Springer

86views Education» more CORR 2004»

Probabilistic Solutions of Equations in the Braid Group

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers