CITATION STYLE
Schepers, H., & Coenen, J. (1995). Trace-Based Compositional Refinement of Fault Tolerant Distributed Systems (pp. 309–324). https://doi.org/10.1007/978-3-7091-9396-9_25
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley