Emanuele Ciapessoni and Edoardo Corsetti and Manlio Migliorati and Elena Ratto (1993): Logical Specification of Real--Time Granular Systems in an Object Oriented Language


Title: Logical Specification of Real--Time Granular Systems in an Object Oriented Language
Author(s): Emanuele Ciapessoni and Edoardo Corsetti and Manlio Migliorati and Elena Ratto
Year: 1993
Booktitle: Proceedings of the 13th International Joint Conference on Artificial Intelligence
Editor(s): Ruzena Bajcy
Volume: 2
Pages: 881-888
Publisher: Morgan Kaufmann
Address: San Mateo, CA

Concepts