International Symposium on Verification - Theory and Practice in honor of the 64th Birthday of Zohar Manna Conference

Scholarly Activity

related documents

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems Conferences