28 citations · 29 across the 4 of their papers we have counts for
1 paper · 2 filters
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…