R. P. Kurshan,E. M. Clarke: Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
____________________________
Author: R. P. Kurshan,E. M. Clarke
Number of Pages: 378 pages
Published Date: 01 Mar 1993
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540544777
Download Link: Click Here
____________________________