Sciweavers

28 search results - page 1 / 6

» fossacs 2004

11

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

13 years 10 months ago

LTL over Integer Periodicity Constraints: (Extended Abstract)

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

9

FOSSACS
2004
Springer

91views Software Engineering» more FOSSACS 2004»

Distance Desert Automata and the Star Height One Problem

13 years 10 months ago

Distance Desert Automata and the Star Height One Problem

Download www2.informatik.hu-berlin.de

Daniel Kirsten

claim paper

Read More »

17

FOSSACS
2004
Springer

128views Software Engineering» more FOSSACS 2004»

Intruder Theories (Ongoing Work)

13 years 10 months ago

Intruder Theories (Ongoing Work)

Download www.lsi.upc.es

Hubert Comon-Lundh

claim paper

Read More »

8

FOSSACS
2004
Springer

126views Software Engineering» more FOSSACS 2004»

Decidability of Freshness, Undecidability of Revelation

13 years 10 months ago

Decidability of Freshness, Undecidability of Revelation

Download www.di.unipi.it

Giovanni Conforti, Giorgio Ghelli

claim paper

Read More »

6

FOSSACS
2004
Springer

86views Software Engineering» more FOSSACS 2004»

A Denotational Account of Untyped Normalization by Evaluation

13 years 10 months ago

A Denotational Account of Untyped Normalization by Evaluation

Download www.brics.dk

Andrzej Filinski, Henning Korsholm Rohde

claim paper

Read More »

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