Simple bisimilarity minimization in O(m log n) time

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

15 Citations (Scopus)

Translated title of the contribution	Simple bisimilarity minimization in O(m log n) time
Original language	English
Pages (from-to)	319-339
Journal	Fundamenta Informaticae
Volume	105
Issue number	3
DOIs	https://doi.org/10.3233/FI-2010-369
Publication status	Published - 2011
Publication type	A1 Journal article-refereed

Publication forum classification

@article{31367cb98fe34f6ba4931955d68026f4,

title = "Simple bisimilarity minimization in O(m log n) time",

author = "Antti Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2011",

doi = "10.3233/FI-2010-369",

language = "English",

volume = "105",

pages = "319--339",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "Sage Publications",

number = "3",

}