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

Limits for automatic verification of finite state concurrent systems Article

Information Processing Letters, 307-309.

K.R. Apt (Krzysztof) and D. Kozen

January 1986
Correctness proofs distributed termination algorithms Article

ACM Transactions on Programming Languages and Systems, 388-405.

K.R. Apt (Krzysztof)

January 1986
Algebraic and geometric methods in nonlinear control theory Book

January 1986
Mathematics and computer science II : fundamental contributions in the Netherlands since 1945 : [symposium held in Amsterdam, 06-07.10.1986] Book

January 1986
Idiosyncratic remarks by a bibliomaniac 2 : contrasts in publishing and markets Article

Acta Applicandae Mathematicae, 7(3), 313-320.

M. Hazewinkel (Michiel)

January 1986
Preface : Algebraic and geometric methods in nonlinear control theory Preface

January 1986
Tekstverwerkingsproblemen voor de wetenschapper Article

Journal of Desktop Publishing, 9-13.

M. Hazewinkel (Michiel)

January 1986
Technical word processing Article

Proof, 9-13.

M. Hazewinkel (Michiel)

January 1986

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