28 citations · 115 across the 21 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…