Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
Beteiligte:
Clark, Graham;
Sanders, William H.
Erschienen:
Springer Berlin Heidelberg, 2001
Erschienen in:Process Algebra and Probabilistic Methods. Performance Modelling and Verification