On the Translation of Automata to Linear Temporal Logic

von Boker, Udi
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Better Late Than Never or: Verifying Asynchronous Components at Runtime

von Attard, Duncan Paul
Veröffentlicht in FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems (2021)