GSOS for probabilistic transition systems

From MaRDI portal
Publication:2842551

DOI10.1016/S1571-0661(04)80358-XzbMath1270.68204OpenAlexW2886203768MaRDI QIDQ2842551

Falk Bartels

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80358-x




Related Items (11)



Cites Work


This page was built for publication: GSOS for probabilistic transition systems