Linköping Electronic Articles in Computer and Information Science 98-015

Linköping Electronic Articles in Computer and Information Science  

Doherty, Patrick; Gustafsson, Joakim; Karlsson, La (1998) Doherty, Patrick; Gustafsson, Joakim; Karlsson, Lars and Kvarnström, Jonas. "TAL: Temporal Action Logics Language - Specification and Tutorial"