Strategy Synthesis for Multi-Dimensional Quantitative Objectives

Acta Informatica- Germany

doi 10.1007/s00236-013-0182-6

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Science and Business Media LLC


Related search