×

Found 2 Documents (Results 1–2)

Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field