Modeling of dynamic object systems - a logic-based approach

Ralf Jungclaus. Modeling of dynamic object systems - a logic-based approach. Vieweg advanced studies in computer science, Vieweg, 1993.

Abstract

Abstract is missing.