![]() | ![]() |
| 2005 | ||
|---|---|---|
| 1 | Nil Geisweiller, Jeremie Bonte: Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci. 128(4): 3-24 (2005) | |
| 1 | Nil Geisweiller | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page