Search Sciweavers | Sciweavers

4917 search results - page 120 / 984

» Software Engineering is Not Computer Science

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

15 years 7 months ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

138views Software Engineering» more FOSSACS 2005»

Bisimulation on Speed: A Unified Approach

15 years 7 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

FOSSACS
2004
Springer

128views Software Engineering» more FOSSACS 2004»

Intruder Theories (Ongoing Work)

15 years 7 months ago

Download www.lsi.upc.es

Hubert Comon-Lundh

claim paper

Read More »

Voted

FOSSACS
2004
Springer

126views Software Engineering» more FOSSACS 2004»

Decidability of Freshness, Undecidability of Revelation

15 years 7 months ago

Download www.di.unipi.it

Giovanni Conforti, Giorgio Ghelli

claim paper

Read More »

Voted

FOSSACS
2004
Springer

84views Software Engineering» more FOSSACS 2004»

LTL over Integer Periodicity Constraints: (Extended Abstract)

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers