DMCA
A Finite-Domain Semantics for Testing Temporal Logic Specifications
by
Alberto Coen-Porisini Matteo
,
Matteo Pradella
,
Pierluigi San Pietro
Citations: | 3 - 1 self |