Parametrised Boolean equation systems

Research output: Contribution to journal › Article › Academic › peer-review

57 Citations (Scopus)

1 Downloads (Pure)

Original language	English
Pages (from-to)	332-369
Journal	Theoretical Computer Science
Volume	343
Issue number	3
DOIs	https://doi.org/10.1016/j.tcs.2005.06.016
Publication status	Published - 2005

Access to Document

@article{8ac2d2c9f0d44c7f825b5df0a3a294a9,

title = "Parametrised Boolean equation systems",

author = "J.F. Groote and T.A.C. Willemse",

year = "2005",

doi = "10.1016/j.tcs.2005.06.016",

language = "English",

volume = "343",

pages = "332--369",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "3",

}