Search Sciweavers | Sciweavers

144 search results - page 10 / 29

» Model checking the probabilistic pi-calculus

click to vote

DDECS
2008
IEEE

111views Hardware» more DDECS 2008»

Probabilistic Model Checking and Reliability of Results

14 years 1 months ago

Download ira.informatik.uni-freiburg.de

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Be...

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

14 years 28 days ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

13 years 11 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

click to vote

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

13 years 7 months ago

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers