Logo eprints

Items where Author is "Rubio-Loyola, Javier"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Rubio-Loyola, Javier and Serrat, Joan and Flegkas, Paris and Pavlou, George and Lluch-Lafuente, Alberto Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks. In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’05). IEEE Computer Society, pp. 181-190. ISBN 0-7695-2265-3 (2005)

This list was generated on Tue May 21 10:24:24 2024 CEST.