Skip to content

Consistent Graphical Specification of Distributed Systems.

Franz Huber, Bernhard Schtz, Geralf Einert

VenueBFM
Year1997
ProceedingsFME

Browse the full FM paper archive.