Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Bahareh Badban

Generalizing DPLL and satisfiability for equalities

scientific article published in August 2007

Verification of a sliding window protocol in μCRL and PVS

scientific article published on 22 September 2005

Zero, successor and equality in BDDs

scientific article published in May 2005

Paulina is supported by:

About Paulina

Help