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 Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Decidability Results for Parametric Probabilistic Transition.. - Lanotte, al. (Correct)
No context found.
H. H. Hansson, "Time and probability in formal design of distributed systems", Real-time Safety Critical Systems, 1, 1994, Elsevier.
ProbVerus: Probabilistic Symbolic Model Checking - Hartonas-Garmhausen, Campos.. (1999) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems, Elsevier, 1994.
PROBMELA: a modeling language for communicating.. - Baier, Ciesinski, Größer (2004) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Series in Real-Time Safety Critical Systems. Elsevier, 1994.
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
Hans A. Hansson. Time and probability in formal design of distributed systems. SICS Dissertation Series 05, Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, Sweden, 1994.
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Series in Real-Time Safety Critical Systems. Elsevier, 1994.
Partial Order Reduction For Probabilistic Branching Time - Baier, D'Argenio, Groesser (2005) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Series in Real-Time Safety Critical Systems. Elsevier, 1994.
Trace Machines for Observing Continuous-Time Markov Chains - Wolf, Majster-Cederbaum.. (2005) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Series in Real-Time Safety Critical Systems. Elsevier, 1994.
Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (1997) (Correct)
No context found.
Hans A. Hansson. Time and Probability in Formal Design of Distributed Systems. Ph.D thesis DoCS 91/27, Dept. of Computer Systems, Uppsala University, September 1991.
An Introduction to Probabilistic Automata - Stoelinga (2002) (Correct)
No context found.
H.A. Hansson. Time and Probability in Formal Design of Distributed Systems, volume 1 of Real-Time Safety Critical Systems. Elsevier, 1994.
Decidability Results for Parametric Probabilistic.. - Lanotte.. (2004) (Correct)
No context found.
H. H. Hansson, "Time and probability in formal design of distributed systems", Real-time Safety Critical Systems, 1, 1994, Elsevier.
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems, volume 1 of Real-Time Safety Critical Systems. Elsevier, 1994.
Vopp: A verification tool for probabilistic processes - Martin (1993) (1 citation) (Correct)
No context found.
Hans A. Hansson. Time and Probability in Formal Design of Distributed Systems. PhD thesis, Department of Computer Systems, Uppsala University, Sweden, 1991.
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (5 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Model Checking for Probability and Time: From Theory to Practice - Kwiatkowska (2003) (6 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Analysing Randomized Distributed Algorithms - Norman (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
No context found.
H. A. Hansson, Time and probability in formal design of distributed systems, Ph.D. thesis, Uppsala University, Department of Computer Systems,
Implementation of Symbolic Model Checking for Probabilistic Systems - Parker (2002) (5 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
Weak Bisimulation for Action-Type Coalgebras - Sokolova, de Vink, Woracek (Correct)
No context found.
H. A. Hansson. Time and Probability in Formal Design of Distributed Systems. PhD thesis, Uppsala University, 1991.
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
No context found.
H.A. Hansson. Time and probability in the formal design of distributed systems. Volume 1 of Real-Time Safety Critical Systems, Elsevier, 1994.
A Fully Abstract Metric-Space Denotational Semantics for.. - Kwiatkowska, Norman (1998) (3 citations) (Correct)
No context found.
H.A. Hansson. Time and probability in the formal design of distributed systems. Volume 1 of Real-Time Safety Critical Systems, Elsevier, 1994.
Probability, Nondeterminism and Concurrency: Two Denotational.. - Varacca (2003) (Correct)
No context found.
Hans Hansson. Time and Probability in Formal Design of Distributed systems. PhD thesis, Uppsala University, 1991.
Probabilistic Model Checking of the CSMA/CD.. - Duflot, Fribourg, .. (2004) (Correct)
No context found.
H.A. Hansson. Time and probability in formal design of distributed systems. PhD thesis, Uppsala University, Sweden, sept. 1991.
Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002) (2 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems, volume 1 of Real-Time Safety Critical Systems. Elsevier, 1994.
Symbolic Model Checking of Concurrent Probabilistic .. - Kwiatkowska.. (1999) (8 citations) (Correct)
No context found.
H. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994.
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