Zero, successor and equality in BDDsBahareh Badban; Jaco van de Pol · 2005

Generalizing DPLL and satisfiability for equalitiesBahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema · 2007

Verification of a sliding window protocol inμCRL and PVSBahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol · 2005

[ACM Press the 3rd international workshop - Portland, Oregon (2006.11.06-2006.11.06)] Proceedings of the 3rd international workshop on Software quality assurance - SOQUA '06 - Test automation for hybrid systemsBadban, Bahareh; Fränzle, Martin; Peleska, Jan; Teige, Tino · 2006