On the Computational Complexity of Bisimulation

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Access to Document

@article{85e7ac330d4943729211356546de68c6,

title = "On the Computational Complexity of Bisimulation",

author = "Faron Moller and Smolka, \{Scott A.\}",

year = "1995",

month = jan,

day = "6",

doi = "10.1145/210376.210406",

language = "English",

volume = "27",

pages = "287--289",

journal = "ACM Computing Surveys",

issn = "0360-0300",

number = "2",

}

TY - JOUR

T1 - On the Computational Complexity of Bisimulation

AU - Moller, Faron

AU - Smolka, Scott A.

PY - 1995/1/6

Y1 - 1995/1/6

UR - https://www.scopus.com/pages/publications/84976858165

U2 - 10.1145/210376.210406

DO - 10.1145/210376.210406

M3 - Article

AN - SCOPUS:84976858165

SN - 0360-0300

VL - 27

SP - 287

EP - 289

JO - ACM Computing Surveys

JF - ACM Computing Surveys

IS - 2

ER -