Cover von Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions opens in new tab

Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions

Year: 2016
Media group: LIPIcs

Details

Search for this author
Year: 2016
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1-14
Participating parties: Search for this character Lee, Matias David; Vink, Erik Peter de
Media group: LIPIcs