Maroua Bouzid

Affiliation:  CRIN-CNRS and INRIA Lorraine, Vandoeuvre-lès-Nancy, France.
To reach:     [email].

Temporal Logic Based on Characteristic Functions. (With and Antonio Ligeza).
Presented at: 19th Annual German Conference on Artificial Intelligence. Venue: Bielefeld, Germany, 11-13.9.1995. Proceedings published by Springer Verlag. Code: [Bouzid95A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.