Sound idle and block equations for finite state machines in xMAS

Research output: Book/ReportReportAcademic

9 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

Fedotov, A., Keiren, J. J. A., & Schmaltz, J. (2019). Sound idle and block equations for finite state machines in xMAS. (Computer science reports; Vol. 19-04). Eindhoven: Technische Universiteit Eindhoven.