𝔖 Bobbio Scriptorium

✦ LIBER ✦

Automated assume-guarantee reasoning for omega-regular systems and specifications

✍ Scribed by Sagar Chaki; Arie Gurfinkel

Book ID: 106573716
Publisher: Springer
Year: 2011
Tongue: English
Weight: 399 KB
Volume: 7
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-011-0148-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool

[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

✍ Margaria, Tiziana; Yi, Wang 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 309 KB