Skip to content

A dynamic Extension for the Specification of Distributed Systems.

Issam A. Hamid

VenueCAPSEC
Year1996
ProceedingsAPSEC

Browse the full APSEC paper archive.