Logic-based modeling of dynamic object systems

Ralf Jungclaus. Logic-based modeling of dynamic object systems. PhD thesis, Braunschweig University of Technology, Germany, 1993. [doi]

Abstract

Abstract is missing.