Bisimulation through Probabilistic Testing

Research output: Contribution to journalJournal article

700 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume94
Issue number1
Pages (from-to)1-28
ISSN0890-5401
Publication statusPublished - 1991

Cite this