Abstraction in parameterised Boolean equation systems

S. Cranen, M.W. Gazda, J.W. Wesselink, T.A.C. Willemse

Research output: Book/ReportReportAcademic

60 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Abstraction in parameterised Boolean equation systems'. Together they form a unique fingerprint.

Engineering & Materials Science