DMCA

Structural Operational Semantics for Stochastic and Weighted Transition Systems (2013)

by Bartek Klin , Vladimiro Sassone
Citations:2 - 0 self