Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: D
Number of items: 1.

D

Derrick, John and Smith, Graeme (2004) Linear temporal logic and Z refinement. In: Rattray, Charles and Maharaj, Savitri and Shankland, Carron, eds. Algebraic Methodology and Software Technology 10th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 117-131. ISBN 978-3-540-22381-8. E-ISBN 978-3-540-27815-3. (doi:10.1007/b98770) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14126)

This list was generated on Wed Mar 27 23:14:25 2024 GMT.