%0 Conference Proceedings
%F benveniste94d
%A Benveniste, A.
%A Levy, B.C.
%A Fabre, E.
%A Le Guernic, P.
%T A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems
%B 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
%P 149-169
%S Lecture Notes in Computer Science 863
%I Springer-Verlag
%8 September
%D 1994