Search Sciweavers | Sciweavers

84 search results - page 6 / 17

» corr 2009

click to vote

CORR
2009
Springer

79views Education» more CORR 2009»

Characteristic Formulae for Fixed-Point Semantics: A General Framework

13 years 5 months ago

Download www.ru.is

Luca Aceto, Anna Ingólfsdóttir, Josh...

claim paper

Read More »

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

An Intuitive Automated Modelling Interface for Systems Biology

13 years 5 months ago

Download lucacardelli.name

Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...

claim paper

Read More »

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

13 years 5 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Milan Ceska

claim paper

Read More »

click to vote

CORR
2009
Springer

86views Education» more CORR 2009»

Rewriting Logic Semantics of a Plan Execution Language

13 years 5 months ago

Download shemesh.larc.nasa.gov

Gilles Dowek, César Muñoz, Camilo Ro...

claim paper

Read More »

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

A Type System for Required/Excluded Elements in CLS

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers