Please use this identifier to cite or link to this item:
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
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.