Search Sciweavers | Sciweavers

15777 search results - page 544 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FSEN
2007
Springer

90views Software Engineering» more FSEN 2007»

Type Abstractions of Name-Passing Processes

15 years 11 months ago

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

119

click to vote

FSEN
2007
Springer

91views Software Engineering» more FSEN 2007»

Slicing Abstractions

15 years 11 months ago

Download react.cs.uni-sb.de

Ingo Brückner, Klaus Dräger, Bernd Finkb...

claim paper

Read More »

137

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

15 years 11 months ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

104

click to vote

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

15 years 11 months ago

Download www.infsec.ethz.ch

Matthias Schmalz, Hagen Völzer, Daniele Varac...

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

111views Software Engineering» more FSTTCS 2007»

Symbolic Bisimulation for the Applied Pi Calculus

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers