CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
R. Segala. Modelling and verification of randomized distributed real-time systems, PhD Thesis, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and verification of randomized distributed real-time systems. Ph.D. Thesis, Department of Mathematics, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and verification of randomized distributed real-time systems. Ph.D. Thesis, Department of Mathematics, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology, 1995.
Segala R: Modelling and Verification of Randomized Distributed RealTime Systems, Ph.D. Thesis. Massachusetts Institute of Technology, 1995
R. Segala, Modelling and verification of randomized distributed real time systems, Ph.D. thesis, Massachusetts Institute of Technology (1995).
R. Segala. Modelling and verification of randomized distributed real-time systems, PhD Thesis, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, 1995.
R. Segala, Modelling and verification of randomized distributed real time systems, Ph.D. thesis, Massachusetts Institute of Technology (1995). 54
R. Segala. Modelling and Verification of Randomized Distributed Real Time Systems. PhD thesis, Massachusetts Institute of Technology, 1995.
R. Segala. Modelling and verification of randomized distributed real-time systems. Ph.D. Thesis, Department of Mathematics, Massachusetts Institute of Technology, 1995.