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

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto

Browse the full IJCAI paper archive.