Invariants for parameterised Boolean equation systems
- S.M. Orzan
- , T.A.C. Willemse
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Link opens in a new tab
Citations
(Scopus)