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

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2031 || Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams

โœ Scribed by Margaria, Tiziana; Yi, Wang


Book ID
111938338
Publisher
Springer Berlin Heidelberg
Year
2001
Weight
309 KB
Category
Article
ISBN
3540418652

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Tool
โœ Ramakrishnan, C. R.; Rehof, Jakob ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 244 KB

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.