Sound idle and block equations for finite state machines in xMAS

Research output: Book/ReportReportAcademic

7 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.
Fedotov, Alexander ; Keiren, Jeroen J.A. ; Schmaltz, Julien. / Sound idle and block equations for finite state machines in xMAS. Eindhoven : Technische Universiteit Eindhoven, 2019. 32 p. (Computer science reports).
@book{b11f2231b8cd413793c53c4f74d96321,
title = "Sound idle and block equations for finite state machines in xMAS",
author = "Alexander Fedotov and Keiren, {Jeroen J.A.} and Julien Schmaltz",
year = "2019",
month = "11",
language = "English",
series = "Computer science reports",
publisher = "Technische Universiteit Eindhoven",

}

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

Sound idle and block equations for finite state machines in xMAS. / Fedotov, Alexander; Keiren, Jeroen J.A.; Schmaltz, Julien.

Eindhoven : Technische Universiteit Eindhoven, 2019. 32 p. (Computer science reports; Vol. 19-04).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - Sound idle and block equations for finite state machines in xMAS

AU - Fedotov, Alexander

AU - Keiren, Jeroen J.A.

AU - Schmaltz, Julien

PY - 2019/11

Y1 - 2019/11

M3 - Report

T3 - Computer science reports

BT - Sound idle and block equations for finite state machines in xMAS

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Fedotov A, Keiren JJA, Schmaltz J. Sound idle and block equations for finite state machines in xMAS. Eindhoven: Technische Universiteit Eindhoven, 2019. 32 p. (Computer science reports).