Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/45333
| Type: | Conference paper |
| Title: | CTL model update: semantics, computations and implementation |
| Author: | Ding, Yulin (Rena) Zhang, Yan |
| Citation: | ECAI 2006 : 17th European Conference on Artificial Intelligence, August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedings / Gerhard Brewka (ed.) |
| Publisher: | IOS Press |
| Issue Date: | 2006 |
| Series/Report no.: | Frontiers in artificial intelligence and applications ; 141 |
| ISBN: | 1586036424 |
| Conference Name: | European Conference on Artificial Intelligence (17th : 2006 : Riva, Italy) |
| School/Discipline: | School of Computer Science |
| Description (link): | http://trove.nla.gov.au/work/25803363 |
| Appears in Collections: | Computer Science publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.