C | |
---|---|
[CCM+94] | Sérgio Vale Aguiar Campos,
Edmund M. Clarke,
Wilfredo R. Marrero,
Marius Minea, and
Hiromi Hiraishi.
Computing Quantitative Characteristics of
Finite-State Real-Time Systems.
Technical Report CMU-CS-94-147, Computer Science Deparment, Carnegie Mellon
University, Pittsburgh, Pennsylvania, USA, May 1994.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1