DMCA

A Finite-Domain Semantics for Testing Temporal Logic Specifications

Cached

Download Links

by Alberto Coen-Porisini Matteo , Matteo Pradella , Pierluigi San Pietro
Citations:3 - 1 self