Round- and context-bounded control of dynamic pushdown systems
Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Published in Formal methods in system design (2024)
Published in Formal methods in system design (2024)
Get full text
Journal Article
Parameterized Synthesis for Fragments of First-Order Logic over Data Words
Bérard, Béatrice, Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Year of Publication 31.10.2019
Year of Publication 31.10.2019
Get full text
Journal Article