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 book constitutes the refereed proceedings of the Third International Conference on Embedd...

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

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

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

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

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