Ayrat Khalimov
Ayrat Khalimov
Affiliation: TU Clausthal
Pages in this Program
A Naturally-Colored Translation from LTL to Parity and COCOA
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑