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

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

doi:10.4230/DagSemRep.260

Document

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

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

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2000-02-07

PDF

File

DagSemRep.260.pdf

Filesize: 296 kB
34 pages

Document Identifiers

DOI: 10.4230/DagSemRep.260
URN: urn:nbn:de:0030-drops-151457

Author Details

Götz Alefeld

Jiri Rohn

Siegfried M. Rump

Tesuro Yamamoto

Cite AsGet 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

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail