Jump to : Contact | BibTex reference | EndNote reference |

benveniste94d

A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Pages 149-169, September 1994.

Contact

Albert Benveniste

BibTex Reference

@InProceedings{benveniste94d,
   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 hybrid stochastic/nonstochastic systems},
   BookTitle = {3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
   Pages = {149--169},
   Series = {Lecture Notes in Computer Science 863},
   Publisher = {Springer-Verlag},
   Month = {September},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.