Search Sciweavers | Sciweavers

84 search results - page 8 / 17

» corr 2009

click to vote

CORR
2009
Springer

67views Education» more CORR 2009»

Towards the Safe Programming of Wireless Sensor Networks

15 years 1 months ago

Download www.dcc.fc.up.pt

Francisco Martins, Luís M. B. Lopes, Jo&ati...

claim paper

Read More »

106

click to vote

CORR
2009
Springer

67views Education» more CORR 2009»

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

15 years 1 months ago

Download www.mat.unb.br

Daniel Lima Ventura, Mauricio Ayala-Rincón,...

claim paper

Read More »

103

click to vote

CORR
2009
Springer

68views Education» more CORR 2009»

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems

15 years 1 months ago

Download www.di.unipi.it

Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, ...

claim paper

Read More »

click to vote

CORR
2009
Springer

79views Education» more CORR 2009»

Modelling an Ammonium Transporter with SCLS

15 years 1 months ago

Download www.iist.unu.edu

Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike...

claim paper

Read More »

click to vote

CORR
2009
Springer

74views Education» more CORR 2009»

A Process Calculus for Molecular Interaction Maps

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers