@inproceedings{DBLP:conf/isorc/KoschowojZSKP26,
author = "Koschowoj, Aleksey and Zander, Thomas and Scheffer, Margareta and Kisselbach, Timo and Pacher, Mathias",
title = "Towards a Fully Verified Artificial {DNA} - Formal Verification of Building Block Behavior",
booktitle = "29th International Symposium on Real-Time Distributed Computing, {ISORC} 2026, Hamilton, ON, Canada, May 27-29, 2026",
pages = "1--10",
publisher = "{IEEE}",
year = "2026",
url = "https://doi.org/10.1109/ISORC70347.2026.11605632",
doi = "10.1109/ISORC70347.2026.11605632",
biburl = "https://dblp.org/rec/conf/isorc/KoschowojZSKP26.bib"
}