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.

@inproceedings{CiapessoniCMR93,
  title = {Logical Specification of Real-Time Granular Systems in an Object Oriented Language},
  author = {Emanuele Ciapessoni and Edoardo Corsetti and Manlio Migliorati and Elena Ratto},
  year = {1993},
  researchr = {https://researchr.org/publication/CiapessoniCMR93},
  cites = {0},
  citedby = {0},
  pages = {881-888},
  booktitle = {IJCAI},
}