Discover open access scientific publications

Search, annotate, share and cite publications

Publications by J.-P. Katoen

An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

English