56 citations · 86 across the 15 of their papers we have counts for
1 paper · 1 filter
Michele Chiari, Dino Mandrioli, Matteo Pradella
The problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of…