B. Sheldon and . Akers, Binary decision diagrams, IEEE Transactions on Computers, C-(

J. Ansel, K. Arya, and G. Cooperman, DMTCP: Transparent checkpointing for cluster computations and the desktop, rd IEEE International Parallel and Distributed Processing Symposium (IPDPS' )

Z. Baranová, J. Barnat, K. Kejstová, T. Ku?era, H. Lauko et al., Model checking of C and C++ with DIVINE, International Symposium on Automated Technology for Verification