CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A short proof of the decidability of bisimulation for normed bpa-processes Article
Information Processing Letters, 42(3), 167-171.May 1992
-
Some aspects of mixed finite element methods for semiconductor simulation Dissertation
Scientific ComputingMay 1992 -
May 1992
-
June 1992
-
June 1992
-
Random algorithms for permutation groups Article
CWI Quarterly, 5(2), 107-125.June 1992
-
Structural computations in finite permutation groups Article
CWI Quarterly, 5(2), 127-160.June 1992
-
June 1992