TAL - temporal action logics language specification and tutorial

Författare
(Patrick Doherty ..)
Språk
Engelska
Förlag År Ort Om boken ISBN
Linköping University Electronic Press 1998 Sverige, Linköping