Solving disjunctive/conjunctive boolean equation systems with alternating fixed points

J.F. Groote, M.K. Keinänen

Research output: Book/ReportReportAcademic

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages12
Publication statusPublished - 2003

Publication series

NameCWI report. SEN-R : software engineering
Volume0310
ISSN (Print)1386-369X

Cite this