DMCA

Compositional proofs for real-time modular systems (2003)

by Carlo Alberto Furia
Citations:3 - 3 self