par Juhl, Line; Larsen, Kim Guldstrand; Raskin, Jean-François Liste de publications
Référence Theories of Programming and Formal Methods, (page 244-255)
Publication Publié, s.d.
Partie d'ouvrage collectif
Titre :
  • Optimal bounds for multi weighted and parameterised energy games
Auteur : Juhl, Line ; Larsen, Kim Guldstrand ; Raskin, Jean-François
Statut de publication : Publié, s.d.
Informations sur la publication :
  • Theories of Programming and Formal Methods: Festschrift for Prof. He Jifeng, page 244-255
Sujet CREF : Informatique mathématique
Langue :