Search Sciweavers | Sciweavers

84 search results - page 7 / 17

» corr 2009

click to vote

CORR
2009
Springer

117views Education» more CORR 2009»

Automated Predicate Abstraction for Real-Time Models

15 years 1 months ago

Download www.informatik.uni-freiburg.de

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

claim paper

Read More »

click to vote

CORR
2009
Springer

99views Education» more CORR 2009»

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA

15 years 1 months ago

Download homepages.inf.ed.ac.uk

Federica Ciocchetta, Adam Duguid, Maria Luisa Guer...

claim paper

Read More »

115

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

15 years 1 months ago

Download homepages.di.fc.ul.pt

Vasco Thudichum Vasconcelos, Francisco Martins, Ti...

claim paper

Read More »

103

click to vote

CORR
2009
Springer

70views Education» more CORR 2009»

A Type System for Tom

15 years 1 months ago

Download www.loria.fr

Claude Kirchner, Pierre-Etienne Moreau, Clá...

claim paper

Read More »

114

click to vote

CORR
2009
Springer

71views Education» more CORR 2009»

Uniqueness Typing for Resource Management in Message-Passing Concurrency

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers