GAME CHARACTERIZATION OF PROBABILISTIC BISIMILARITY, AND APPLICATIONS TO PUSHDOWN AUTOMATA.

Saved in:

Bibliographic Details
Title:	GAME CHARACTERIZATION OF PROBABILISTIC BISIMILARITY, AND APPLICATIONS TO PUSHDOWN AUTOMATA.
Authors:	FOREJT, VOJTĚCH¹, forejtv@gmail.com, JANČAR, PETER², petr.jancar@upol.cz, KIEFER, STEFAN³, stekie@cs.ox.ac.uk, WORRELL, JAMES³, James.Worrell@cs.ox.ac.uk
Source:	Logical Methods in Computer Science (LMCS); 2018, Vol. 14 Issue 4, p1-25, 25p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.23638/LMCS-14(4:13)2018