Logical Specification of Real-Time Granular Systems in an Object Oriented Language

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto. Logical Specification of Real-Time Granular Systems in an Object Oriented Language. In IJCAI. pages 881-888, 1993.

Abstract

Abstract is missing.