GSOS for probabilistic transition systems (Extended Abstract) (2002)

Cached

Download Links

by Falk Bartels
Venue:Proc. Coalgebraic Methods in Computer Science (CMCS 2002), volume 65 of Electronic Notes in Theoretical Computer Science
Citations:1 - 1 self