×

Found 3 Documents (Results 1–3)

Formalisms for specifying Markovian population models. (English) Zbl 1260.68284

Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 3-23 (2009).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software