Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / edited by Rajeev Alur, Doron A. Peled.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Alur, Rajeev (Editor), Peled, Doron A. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:1st ed. 2004.
Series:Lecture Notes in Computer Science, 3114
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Description
Physical Description:XII, 536 p. online resource.
ISBN:9783540278139
ISSN:0302-9743 ;
DOI:10.1007/b98490