Stuttering congruence for $\Chi$

B. Luttik, N. Trcka

Research output: Book/ReportReportAcademic

26 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 2005

Publication series

NameComputer science reports
Volume0513
ISSN (Print)0926-4515

Cite this

Luttik, B., & Trcka, N. (2005). Stuttering congruence for $\Chi$. (Computer science reports; Vol. 0513). Eindhoven: Technische Universiteit Eindhoven.