✦ LIBER ✦

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

✍ Scribed by Brinksma, Ed

Book ID: 111681252
Publisher: Springer Berlin Heidelberg
Year: 1997
Weight: 918 KB
Category: Article
DOI: 10.1007/bfb0035382

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

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 4963 || Z3: An Efficient SMT Solver

✍ 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.

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6015 || Simple O(m logn) Time Markov Chain Lumping

✍ Esparza, Javier; Majumdar, Rupak 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 258 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 5547 || A Fast Algorithm to Solve the Frequency Assignment Problem

✍ Hoeve, Willem-Jan; Hooker, John N. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 138 KB

This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009. The 20 revised full papers and 10 extended abstracts pre

[Lecture Notes of the Institute for Comp

[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Mobile Lightweight Wireless Systems Volume 45 || Using MPLS in a Wireless Mesh Network to Improve the Resiliency of SCADA Systems

✍ Chatzimisios, Periklis; Verikoukis, Christos; Santamaría, Ignacio; Laddomada, Ma 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 378 KB

[Lecture Notes in Computer Science] Sust

[Lecture Notes in Computer Science] Sustaining TEL: From Innovation to Learning and Practice Volume 6383 || Enhancing the Learning Process: Qualitative Validation of an Informal Learning Support System Consisting of a Knowledge Discovery and a Social Learning Component

✍ Wolpers, Martin; Kirschner, Paul A.; Scheffel, Maren; Lindstaedt, Stefanie; Dimi 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 499 KB

These proceedings of the ?fth European Conference on Technology Enhanced Learning (EC-TEL 2010) exemplify the highly relevant and successful research being done in TEL. Because of this greatwork,this year’s conference focused on “Sustaining TEL: From Innovation to Learning and Practice.” The last de