Sciweavers

27756 search results - page 639 / 5552
» Process Query Systems
Sort
View
ACSD
2010
IEEE
216views Hardware» more  ACSD 2010»
15 years 5 months ago
A Linear Process-Algebraic Format for Probabilistic Systems with Data
Joost-Pieter Katoen, Jaco van de Pol, Mariëll...