Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
Sprache
2 Treffer
-
In: Computational Science & Its Applications - ICCSA 2006 (9783540340720); (2006) S. 847-855BuchZugriff:
-
In: Automated Technology for Verification & Analysis; (2005) S. 429-443BuchZugriff: