If you made any changes in Pure these will be visible here soon.

Research Output

  • 1 Report
  • 1 Conference contribution
Filter
Report
2019

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 19-04)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)