A foundational text that offers a rigorous introduction to the principles of design, specificatio...

This book constitutes the refereed proceedings of the Third International Conference on Embedded ...

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

A foundational text that offers a rigorous introduction to the principles of design, specificatio...

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

This book constitutes the refereed proceedings of the Third International Conference on Embedd...

This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...