Sound idle and block equations for finite state machines in xMAS

Research output: Book/ReportReportAcademic

30 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages32
Publication statusPublished - Nov 2019

Publication series

NameComputer science reports
Volume19-04
ISSN (Print)0926-4515

Cite this