Manitra Rakotoarisoa

Orcid: 0000-0002-4242-2266

According to our database¹, Manitra Rakotoarisoa authored at least 2 papers between 2008 and 2014.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2014

Bounded model checking for asynchronous concurrent systems.

[DOI]

PhD thesis, 2014

2008

BMC Encoding for Concurrent Systems.

[DOI]

Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008