Skip to content

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems (PUB-227)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems (2024) is listed in the DePaul Resource Map with a link to the published version (Lecture notes in computer science).

PUB-227 · 2024 · Lecture notes in computer science1

DOI

Publication landing page: authors, related facilities, grants, and sources.

Authors

  • No person links in records.
  • No facility links in records.
  • No grant links in records.

Sources

  1. Gate C batch 3 2026-08-21; OpenAlex W4403943776; score=6. Archived source retained by Resource Map maintainers. View current source