Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3447
Title: Duality for Logics of Transition Systems
Authors: Bonsangue, Marcello M.
Kurz, Alexander
First Published: 2005
Citation: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science, 2005, 3441, pp. 455-469
ISBN: 9783540253884
Links: http://dx.doi.org/10.1007/b106850
http://hdl.handle.net/2381/3447
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.