|
[GB05]
N. Geisweiller and J. Bonte.
Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking.
In Proc. Workshop on Structural Operational Semantics (SOS'04), volume 128 of Electronic Notes in Theoretical Computer Science, pages 3-24.
2005.
[bib]
http://linkinghub.elsevier.com/retrieve/pii/S1571066105001854
|
|
Downloads:
 bib
|
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://linkinghub.elsevier.com/retrieve/pii/S1571066105001854
|