Instantiation for parameterised Boolean equation systems

A. van Dam, B. Ploeger, T.A.C. Willemse

Research output: Book/ReportReportAcademic

9 Citations (Scopus)
61 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages24
Publication statusPublished - 2008

Publication series

NameComputer science reports
Volume0811
ISSN (Print)0926-4515

Cite this