Logo eprints

Items where Author is "Boronat, Artur"

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: Bo | Br | Ll | Mo | Pa
Number of items: 5.

Bo

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Br

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Ll

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Mo

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

Pa

Lluch-Lafuente, Alberto and Bruni, Roberto and Boronat, Artur and Montanari, Ugo and Paolillo, Generoso Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. In: Formal Techniques for Distributed Systems (FMOODS/FORTE 2010). Lecture Notes in Computer Science, 6117 . Springer, pp. 2-16. ISBN 978-3-642-13463-0 (2010)

This list was generated on Sat Sep 25 10:08:54 2021 CEST.