FORQ-Based Language Inclusion Formal Testing

von Doveri, Kyveli
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Trustworthy global computing : 10th international symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015 : revised selected papers

Veröffentlicht 2016

Antichains Algorithms for the Inclusion Problem Between ω-VPL

von Doveri, Kyveli
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Verification and evaluation of computer and communication systems : 13th international conference, VECoS 2019, Porto, Portugal, October 9, 2019 : proceedings

Veröffentlicht 2019