Process algebra needs proof methodology

Research output: Contribution to journalArticleAcademic

Original languageEnglish
Pages (from-to)109-125
JournalBulletin of the European Association for Theoretical Computer Science, EATCS
Volume82
Publication statusPublished - 2004

Cite this