56 citations · 86 across the 15 of their papers we have counts for
1 paper · 1 filter
Michele Chiari, Dino Mandrioli, Matteo Pradella
In the last decades much research effort has been devoted to extending the success of model checking from the traditional field of finite state machines and various versions of tem…