Search Sciweavers | Sciweavers

25 search results - page 1 / 5

» fossacs 2005

151

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 5 months ago

Download eprints.ecs.soton.ac.uk

Vladimiro Sassone

claim paper

Read More »

126

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

15 years 11 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

140

Voted

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 11 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

120

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

15 years 11 months ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

115

click to vote

FOSSACS
2005
Springer

138views Software Engineering» more FOSSACS 2005»

Bisimulation on Speed: A Unified Approach

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers