EEMCS

Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs). Technical Report TR-CTIT-08-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Badban, B. and Fokkink, W.J. and van de Pol, J.C. (2008) Mechanical verification of a two-way sliding window protocol. In: Communicating Process Architectures 2008, 7-10 Sep 2008, York, UK. pp. 179-202. Concurrent Systems Engineering Series 66. IOS Press. ISBN 978-1-58603-907-3

Badban, B. and van de Pol, J.C. and Tveretina, O. and Zantema, H. (2007) Generalizing DPLL and satisfiability for equalities. Information and computation, 205 (8). pp. 1188-1211. ISSN 0890-5401 *** ISI Impact 0,825 ***