Search Sciweavers | Sciweavers

4047 search results - page 71 / 810

» Algebraic Model Checking

126

click to vote

CASC
2007
Springer

107views Mathematics» more CASC 2007»

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks

16 years 26 days ago

Download www14.in.tum.de

Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Kat...

claim paper

Read More »

141

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

16 years 6 days ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

133

click to vote

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 11 months ago

Download www.cs.stir.ac.uk

Vashti Galpin

claim paper

Read More »

175

click to vote

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

15 years 11 months ago

Download mescal.imag.fr

Nadir Farhi

claim paper

Read More »

133

Voted

NADA
1998
Springer

123views Hardware» more NADA 1998»

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers