Switch to list view
Switch to thumbnail view
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Markov chains : from theory to implementation and experimentation
Markov chains : from theory to implementation and experimentation
Author 
Gagniuc, Paul A., author.
Preferred Shelf Number 
QA274.7 .G34 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119387596
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Stochastic relations : foundations for Markov transition systems
Stochastic relations : foundations for Markov transition systems
Author 
Doberkat, Ernst-Erich., author.
Preferred Shelf Number 
QA76.9 .M35 D578 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets