TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Bitte wählen Sie ihre Rolle aus,
um passende Quick-Links zu erhalten.
Als LIPIcs/OASIcs Autor werden Sie per e-mail eingeladen, sich am Dagstuhl Submission Server zu registrierem. Der Server führt Sie dann durch den Veröffentlichungsprozess. Vorabinformationen finden Sie hier:
Suchen Sie...
Quick Links

Forschungstreffen 00442

IFM'2000, the Second International Conference on Integrated Formal Methods

( 31. Oct – 03. Nov, 2000 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/00442
Organisatoren
  • B. Stoddart (Teesside)
  • Th. Santen (TU Berlin)
  • W. Grieskamp (TU Berlin)
Kontakt
Externe Veranstaltungsseite
Impacts
Seminar 00442
© 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
ImpressumKontaktBarrierefreiheitDatenschutz