Article révisé par les pairs
Titre:
  • Strategy synthesis for multi-dimensional quantitative objectives
Auteur:Chatterjee, Krishnendu; Randour, Mickael; Raskin, Jean-François
Informations sur la publication:Acta informatica, 51, 3-4, page (129-163)
Statut de publication:Publié, 2014
Sujet CREF:Informatique générale
Téléinformatique interconnexion ordinateurs
Informatique appliquée logiciel
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0001-5903
info:doi/10.1007/s00236-013-0182-6
info:scp/84900858790