P. Abdulla, A. Bouajjani, und M. Müller-Olm. Software Verification: Infinite-State Model Checking and Static Program Analysis, Volume 06081 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
P. Abdulla, A. Bouajjani, und M. Müller-Olm. Software Verification: Infinite-State Model Checking and Static Program Analysis, Volume 06081 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
G. Abel, B. Dreßler, U. Herb, und M. Müller. Bibliotheksdienst, 40 (6):
726 - 733(2006)Hilfreicher Artikel, der die Verknüpfung von Hochschulbibliographie und Hochschulschriftenserver am Beispiel der Universität des Saarlandes beschreibt..
G. Abel, B. Dreßler, U. Herb, und M. Müller. Bibliotheksdienst, 40 (6):
726 - 733(2006)Hilfreicher Artikel, der die Verknüpfung von Hochschulbibliographie und Hochschulschriftenserver am Beispiel der Universität des Saarlandes beschreibt..