Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model Checking (Grundlagen und Praxiserfahrungen).

R. Buschermöhle, M. Brörkens, I. Brückner, W. Damm, W. Hasselbring, B. Josko, C. Schulte, und T. Wolf. Informatik Spektrum, 27 (2): 146-158 (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas Wolfram University of Stuttgart

Martin Wolf University of Stuttgart

PD Ph. D. Wolf Reuter University of Stuttgart

Dr. Jürgen Wolf University of Stuttgart

Christian Wolf University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

ASTER - Acute Stroke Care - Telematics for Ambulance Vehicles.F. Wolf, C. Edelberger, und T. Wolf. ICINCO (1), Seite 562-567. SciTePress, (2013)Vom Rechenzentrum zum Zentrum für Informations- und Kommunikationstechnik.T. Wolf, und P. Noelle. GI-Fachtagung über Rechenzentren, Seite 21-31. Deutscher Universitäts Verlag, (1995)Checking Life-and Death Problems in Go.T. Wolf, und L. Shen. ICGA Journal, 30 (2): 67-74 (2007)Laser Diodes and Integrated Optoelectronic Circuits for Fiber Optical Applications.T. Wolf, M. Amann, und H. Albrecht. European Transactions on Telecommunications, 4 (6): 599-614 (1993)Tunable twin-guide (TTG) laser diodes with metal-clad ridge-waveguide (MCRW) structure for coherent optical communications.T. Wolf, H. Westermeier, und M. Amann. European Transactions on Telecommunications, 3 (5): 517-522 (1992)Processing of photonic crystal nanocavity for quantum information in diamondI. Bayn, B. Meyler, A. Lahav, J. Salzman, R. Kalish, B. Fairchild, S. Prawer, M. Barth, O. Benson, T. Wolf und 3 andere Autor(en). Diamond and Related Materials, 20 (7): 937-943 (2011)On solving large systems of polynomial equations appearing In discrete differential geometry.T. Wolf. ACM Comm. Computer Algebra, 42 (3): 131-134 (2008)Investigating DEs with CRACK and related programs.T. Wolf, und A. Brand. ACM SIGSAM Bulletin, 29 (SI): 1-8 (1995)Motif-Based Method for the Genome-Wide Prediction of Eukaryotic Gene Clusters.T. Wolf, V. Shelest, und E. Shelest. ICIAP Workshops, Volume 8158 von Lecture Notes in Computer Science, Seite 389-398. Springer, (2013)Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations.T. Wolf. European Conference on Computer Algebra (2), Volume 204 von Lecture Notes in Computer Science, Seite 597-598. Springer, (1985)