Sound idle and block equations for finite state machines in xMAS

Alexander Fedotov, Jeroen J.A. Keiren, Julien Schmaltz

Research output: Book/ReportReportAcademic

42 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