H. H. Hansson, "Time and probability in formal design of distributed systems", Real-time Safety Critical Systems, 1, 1994, Elsevier. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Decidability Results for Parametric Probabilistic Transition.. - Lanotte, al. (Correct)
ProbVerus: Probabilistic Symbolic Model Checking - Hartonas-Garmhausen, Campos.. (1999) (Correct)
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
Partial Order Reduction For Probabilistic Branching Time - Baier, D'Argenio, Groesser (2005) (Correct)
Trace Machines for Observing Continuous-Time Markov Chains - Wolf, Majster-Cederbaum.. (2005) (Correct)
Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (1997) (Correct)
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
Decidability Results for Parametric Probabilistic.. - Lanotte.. (2004) (Correct)
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
Vopp: A verification tool for probabilistic processes - Martin (1993) (1 citation) (Correct)
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
Model Checking for Probability and Time: From Theory to Practice - Kwiatkowska (2003) (6 citations) (Correct)
Analysing Randomized Distributed Algorithms - Norman (Correct)
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
Implementation of Symbolic Model Checking for Probabilistic Systems - Parker (2002) (5 citations) (Correct)
Weak Bisimulation for Action-Type Coalgebras - Sokolova, de Vink, Woracek (Correct)
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
A Fully Abstract Metric-Space Denotational Semantics for.. - Kwiatkowska, Norman (1998) (3 citations) (Correct)
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
Probabilistic Model Checking of the CSMA/CD.. - Duflot, Fribourg, .. (2004) (Correct)
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
Symbolic Model Checking of Concurrent Probabilistic .. - Kwiatkowska.. (1999) (8 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC