Searching for authors named "Laura Bozzelli" – sorted by Relevance.
-
On decidability of LTL model checking for process rewrite systems
- On Decidability of LTL Model Checking for Process Rewrite Systems Laura Bozzelli 1 , Mojmír
- Cited by 1 (0 self) – Add To MetaCart
-
Controller synthesis for MTL specifications
- Controller Synthesis for MTL Specifications ⋆ Patricia Bouyer, Laura Bozzelli, and Fabrice
- Cited by 2 (1 self) – Add To MetaCart
-
Pushdown Module Checking
- Pushdown Module Checking Laura Bozzelli 1 , Aniello Murano 1 , and Adriano Peron 1 Università di
- Cited by 9 (9 self) – Add To MetaCart

