๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Computer Aided Verification Volume 818 || Automatic verification of timed circuits

โœ Scribed by Dill, David L.


Book ID
111653874
Publisher
Springer Berlin Heidelberg
Year
1994
Weight
820 KB
Category
Article
ISBN
3540484698

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Comp
โœ Emerson, E. Allen; Sistla, Aravinda Prasad ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 192 KB

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cat