Your search returned 2 results.

Results
	1.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings / by Halbwachs, Nicolas [editor.] Zuck, Lenore [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3440 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Computer Aided Verification [electronic resource] : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / by Halbwachs, Nicolas [editor.] Peled, Doron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1633 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search