Sound idle and block equations for finite state machines in xMAS

Onderzoeksoutput: Boek/rapportRapportAcademic

24 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's32
StatusGepubliceerd - nov 2019

Publicatie series

NaamComputer science reports
Volume19-04
ISSN van geprinte versie0926-4515

Citeer dit

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). Technische Universiteit Eindhoven.