Sciweavers

ENTCS
2002
82views more  ENTCS 2002»

GSOS for Probabilistic Transition Systems

15 years 7 months ago
GSOS for Probabilistic Transition Systems
Falk Bartels
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Falk Bartels
Comments (0)