Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen. On Architectural Support for Behaviour Refinement in Distributed Systems Design. Transactions of the SDPS, 6(1):1-30, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.