Solving parameterised Boolean equation systems with infinite data through quotienting

Research output: Book/ReportReportAcademic

71 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages24
Publication statusPublished - 2018

Publication series

NameComputer science reports
Volume18-03

Cite this