Generalized Newman's Lemma for Discrete and Continuous Systems

Ievgen Ivanov. Generalized Newman's Lemma for Discrete and Continuous Systems. In Marco Gaboardi, Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. Volume 260 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Ievgen Ivanov

This author has not been identified. Look up 'Ievgen Ivanov' in Google