Your search returned 2 results.

Results
	1.	Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Baier, Christel [editor.] Haverkort, Boudewijn R [editor.] Hermanns, Holger [editor.] Katoen, Joost-Pieter [editor.] Siegle, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2925 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Computer Performance Evaluation. Modelling Techniques and Tools [electronic resource] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / by Haverkort, Boudewijn R [editor.] Bohnenkamp, Henrik C [editor.] Smith, Connie U [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1786 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search