↓ Skip to main content
What is this page? Embed badge

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Tools and Algorithms for the Construction and Analysis of Systems
Springer Nature Switzerland

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 5 Happy Ending: An Empty Hexagon in Every Set of 30 Points
  3. Altmetric Badge
    Chapter 9 CESAR: Control Envelope Synthesis via Angelic Refinements
  4. Altmetric Badge
    Chapter 16 Explainable Online Monitoring of Metric First-Order Temporal Logic
  5. Altmetric Badge
    Chapter 17 IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
  6. Altmetric Badge
    Chapter 21 A State-of-the-Art Karp-Miller Algorithm Certified in Coq
Attention for Chapter 5: Happy Ending: An Empty Hexagon in Every Set of 30 Points
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
1 Mendeley
Summary Wikipedia
So far, Altmetric has seen 2 citations on 2 Wikipedia pages.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.