Dov M. Gabbay
Amihood Amir and Dov M. Gabbay.
Preservation of expressive completeness in temporal models.
Information and Computation
, 72(1):66-83, January 1987.
Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database