Skip to content

Communication and Synchronisation Using Interaction Objects.

H. B. M. Jonkers

VenueBFM
Year1999
ProceedingsWorld Congress on Formal Methods

Browse the full FM paper archive.