| Original language | English |
|---|---|
| Title of host publication | Essays in honour of D. Gabbay 60th Birthday, Editors: A. Garcez, S. Artemov, J. Woods, L. Lamb and H. Barringer. King's College Press, London. |
| Publication status | Published - 2005 |
Temporal Logics of Evolvable Systems.
David Rydeheard, BARRINGER HOWARD
Research output: Chapter in Book/Report/Conference proceeding › Chapter