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

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || Algorithms for Interface Synthesis

โœ Scribed by Damm, Werner; Hermanns, Holger


Book ID
115467036
Publisher
Springer Berlin Heidelberg
Year
2007
Tongue
German
Weight
607 KB
Edition
2007
Category
Article
ISBN
3540733671

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