Search Sciweavers | Sciweavers

25 search results - page 1 / 5

» fossacs 2005

117

click to vote

TCS
2008

214views Theoretical Computer Science» more TCS 2008»

Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005

15 years 2 months ago

Download eprints.ecs.soton.ac.uk

Vladimiro Sassone

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

15 years 8 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

109

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 8 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

15 years 8 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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers