Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Pattern formation for a one-dimensional evolution equation based on Thom's river basin model Tech Report

M. Hazewinkel (Michiel), J.F. Kaashoek and B. Leynse

January 1985
Symmetry bifurcations and pattern formation Book Chapter

M. Hazewinkel (Michiel)

January 1985
Bifurcation phenomena : a short introductory tutorial with examples Book Chapter

M. Hazewinkel (Michiel)

January 1985
Mathematics of biology Book

M. Hazewinkel (Michiel) and G. Koch

January 1985
Correctness proofs of distributed termination algorithms Article

logics and models of concurrent systems

January 1985
Proving correctness of CSP programs, a tutorial Article

K.R. Apt (Krzysztof)

January 1985
Real time clocks versus virtual clocks Article

Control and data flows, 475-501.

K.R. Apt (Krzysztof) and J.L. Richier

January 1985
Preface : Acta applicandae mathematicae 1985 Article

Acta Applicandae Mathematicae, 4(2), 111-113.

G. Koch and M. Hazewinkel (Michiel)

January 1985

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close