Authors:
- Tom van Dijk
- Feije van Abbema
- Naum Tomov
Published in: {TACAS} {(1)} pp 103–122
DOI: 10.1007/978-3-031-57246-3_7
BibTeX entry:
@inproceedings{DBLP:conf/tacas/DijkAT24,
author = {Tom van Dijk and
Feije van Abbema and
Naum Tomov},
booktitle = {{TACAS} {(1)}},
doi = {10.1007/978-3-031-57246-3_7},
pages = {103--122},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Knor: reactive synthesis using Oink},
volume = {14570},
year = {2024}
}