Fangzhen Lin
Fangzhen Lin and Yoav Shoham.
Provably correct theories of action.
Journal of the ACM
, 42(2):293-320, March 1995.
Abstract, References, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database