[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"Decidability of Branching Bisimulation on Normed Commutative Context-Free ..."

Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota (2014)

Details and statistics

DOI: 10.1007/S00224-013-9505-9

access: open

type: Journal Article

metadata version: 2019-11-06