Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
2 Treffer
-
In: TACAS'2016 ; https://inria.hal.science/hal-01250925 ; TACAS'2016, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-662-49674-9_34⟩, 2016Online KonferenzZugriff:
-
In: TACAS'2016 ; https://hal.inria.fr/hal-01250925 ; TACAS'2016, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-662-49674-9_34⟩, 2016Online KonferenzZugriff: