Manitra Rakotoarisoa, Enric Pastor. BMC Encoding for Concurrent Systems. In M. Cecilia Bastarrica, Mauricio Solar, editors, XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 10-14 November 2008, Punta Arenas, Chile. pages 127-134, IEEE Computer Society, 2008. [doi]
Abstract is missing.