Dynamic System Specification

Robert Balzer. Dynamic System Specification. In Michael L. Brodie, Stephen N. Zilles, editors, Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. Volume 11 of pages 95-97, ACM Press, 1980. [doi]

Abstract

Abstract is missing.