CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1983
-
January 1983
-
On identification of linear systems and the estimation Lie-algebra of the associated nonlinear filtering problem In Proceedings
January 1983
-
Symmetric linear systems : an application of algebraic systems theory Article
International Journal of Control, 37(6), 1371-1384.January 1983
-
Formal justification of a proof system for communication sequential processes Article
Journal of the ACM, 197-216.January 1983
-
Proof rules and transformations dealing with fairness Article
Science of Computer Programming, 65-100.January 1983
-
January 1983
-
January 1983