Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471)

Authors Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tesuro Yamamoto



PDF
Thumbnail PDF

File

DagSemRep.260.pdf
  • Filesize: 296 kB
  • 34 pages

Document Identifiers

Author Details

Götz Alefeld
Jiri Rohn
Siegfried M. Rump
Tesuro Yamamoto

Cite As Get BibTex

Götz Alefeld, Jiri Rohn, Siegfried M. Rump, and Tesuro Yamamoto. Symbolic-algebraic Methods and Verification Methods - Theory and Applications (Dagstuhl Seminar 99471). Dagstuhl Seminar Report 260, pp. 1-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000) https://doi.org/10.4230/DagSemRep.260

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail