Extending temporal action logic
By: Joakim Gustafsson
Contributors: Universitetet i Linköping
Series: Linköping studies in science and technology -- no. 689
Publisher: Dept. of Computer and Information Science, Linköpings universitet
Published: 2001
Place of publication: Linköping, Sweden
Language: eng
Number of pages: 218
Subjects: Symbolic and mathematical Logic
Notes: Thesis (doctoral)--Linköpings universitet, 2001.