DMCA

Modular Verification of Systems via Service Coordination ⋆

by Gianluigi Ferrari , Ugo Montanari , Emilio Tuosto
Citations:1 - 1 self