You can download this list as a single bib file. Send me an email if you need a paper that is not listed.
Publications
-
-
Scalable liveness verification for communication fabrics
-
Generation of inductive invariants from register transfer level designs of communication fabrics
-
Relaxation of 3-partition instances
-
Formal deadlock verification for click circuits
-
A macro for reusing abstract functions and theorems
-
Relaxations of the 3-partition problem
-
Ampersand: Applying Relation Algebra in Practice
-
Ampersand: foutvrije specificaties voor B&I vraagstukken
-