You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Fijalkow, Nathanaël
[Author];
Finkbeiner, Bernd
[Author];
Pérez, Guillermo A.
[Author];
Polgreen, Elizabeth
[Author];
Morvan, Rémi
[Author]
;
Nathanaël Fijalkow and Bernd Finkbeiner and Guillermo A. Pérez and Elizabeth Polgreen and Rémi Morvan
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU), 2010
Gutierrez, Julian
[Author];
Kraus, Sarit
[Author];
Perelli, Giuseppe
[Author];
Wooldridge, Michael
[Author]
;
Julian Gutierrez and Sarit Kraus and Giuseppe Perelli and Michael Wooldridge
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Gutierrez, Julian
[Author];
Najib, Muhammad
[Author];
Perelli, Giuseppe
[Author];
Wooldridge, Michael
[Author]
;
Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2019
Cerrito, Serenella
[Author];
Goranko, Valentin
[Author];
Paillocher, Sophie
[Author]
;
Serenella Cerrito and Valentin Goranko and Sophie Paillocher
[Contributor]
You can manage bookmarks using lists, please log in to your user account for this.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Lomuscio, Alessio R.
[Author];
Pinchinat, Sophie
[Author];
Schlingloff, Holger
[Author]
;
Alessio R. Lomuscio and Sophie Pinchinat and Holger Schlingloff
[Contributor]