✦ LIBER ✦

[Lecture Notes in Computer Science] Static Analysis Volume 7460 || Invariant Generation for Parametrized Systems Using Self-reflection

✍ Scribed by Miné, Antoine; Schmidt, David

Book ID: 120280568
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 287 KB
Category: Article
ISBN: 3642331254
DOI: 10.1007/978-3-642-33125-1_12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Self

[Lecture Notes in Computer Science] Self-Managing Distributed Systems Volume 2867 || Towards Peer-to-Peer Traffic Analysis Using Flows

✍ Brunner, Marcus; Keller, Alexander 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 337 KB

[Lecture Notes in Computer Science] Embe

[Lecture Notes in Computer Science] Embedded Software and Systems Volume 4523 || Cut Sequence Set Generation for Fault Tree Analysis

✍ Lee, Yann-Hang; Kim, Heung-Nam; Kim, Jong; Park, Yongwan; Yang, Laurence T.; Kim 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 260 KB

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering Self-Organising Systems Volume 4335 || An Analysis and Design Concept for Self-organization in Holonic Multi-agent Systems

✍ Brueckner, Sven A.; Hassas, Salima; Jelasity, Márk; Yamins, Daniel 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 341 KB

[Lecture Notes in Computer Science] Syst

[Lecture Notes in Computer Science] System Analysis and Modeling Volume 3319 || Guidelines for Using SDL in Product Development

✍ Amyot, Daniel; Williams, Alan W. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 131 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Diagnosis Using Unfoldings of Parametric Time Petri Nets

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 289 KB

[Lecture Notes in Computer Science] Data

[Lecture Notes in Computer Science] Database Systems for Adanced Applications Volume 6637 || Text Representation Using Dependency Tree Subgraphs for Sentiment Analysis

✍ Xu, Jianliang; Yu, Ge; Zhou, Shuigeng; Unland, Rainer 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 187 KB

This book constitutes the workshop proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Hong Kong, China, in April 2011. The volume contains six workshops, each focusing on specific research issues that contribute to the main themes of