Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Sprache
2 Treffer
-
In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 2011-08-01, S. 117-133Online KonferenzZugriff:
-
In: Science of computer programming, Jg. 80 (2014-02-01), Heft Part A, S. 188-209Online serialPeriodicalZugriff: