Solving parameterised Boolean equation systems with infinite data through quotienting

Research output: Book/Report › Report › Academic

258 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	24
Publication status	Published - 2018

Name	Computer science reports
Volume	18-03

Access to Document

TY - BOOK

T1 - Solving parameterised Boolean equation systems with infinite data through quotienting

AU - Neele, T.S.

AU - Willemse, T.A.C.

AU - Groote, J.F.

PY - 2018

Y1 - 2018

M3 - Report

T3 - Computer science reports

BT - Solving parameterised Boolean equation systems with infinite data through quotienting

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -