Jump to : Keywords | Contact | BibTex reference | EndNote reference |

tBLevyFabrLGuer95

A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/NonStochastic Systems. Theoretical Computer Science, 152:171-217, 1995.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfolding ]

Contact

Albert Benveniste http://www.irisa.fr/distribcom
Eric Fabre http://www.irisa.fr/distribcom

BibTex Reference

@article{tBLevyFabrLGuer95,
   Author = {Benveniste, A. and Levy, B.C. and Fabre, E. and Le Guernic, P.},
   Title = {A Calculus of Stochastic Systems for the Specification, Simulation,    and Hidden State Estimation of Mixed Stochastic/NonStochastic Systems},
   Journal = {Theoretical Computer Science},
   Volume = {152},
   Pages = {171--217},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)