Costas Courcoubetis: Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
____________________________
Author: Costas Courcoubetis
Number of Pages: 510 pages
Published Date: 01 May 1995
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540569220
Download Link: Click Here
____________________________