Proving liveness with fairness using rewriting

A. Koprowski, H. Zantema

Research output: Book/ReportReportAcademic

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

Publication series

NameComputer science reports
Volume0506
ISSN (Print)0926-4515

Cite this