"An algebraic approach to the specification of stochastic systems."

Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma (1998)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2002-11-21