Ed. Brinksma,Kim G. Larsen: Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings



____________________________
Author: Ed. Brinksma,Kim G. Larsen
Number of Pages: 362 pages
Published Date: 01 Oct 2002
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540439974
Download Link: Click Here
____________________________