Realizing $$\omega $$-regular Hyperproperties release_nx45so3bxnb2zgubj4anbr77t4

by Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup

Published in Lecture Notes in Computer Science by Springer International Publishing.

2020   p40-63

Archived Files and Locations

application/pdf  659.9 kB
file_o6bzp335jfbrfdeves6tvuaxva
link.springer.com (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2020
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: dc3bf57a-920f-4846-a7ac-e4de1bdcf368
API URL: JSON