%O Report %F benveniste94a %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 %N 837 %I Irisa %U ftp://ftp.irisa.fr/techreports/1994/PI-837.ps.gz %8 July %D 1994