Your search returned 2 results.

Results
	1.	Stochastic Model Checking [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / by Remke, Anne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8453 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Quantitative Evaluation of Systems [electronic resource] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / by Joshi, Kaustubh [editor.] Siegle, Markus [editor.] Stoelinga, Mariëlle [editor.] D'Argenio, Pedro R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8054 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search