Bounded model checking for asynchronous concurrent systems

Manitra Rakotoarisoa. Bounded model checking for asynchronous concurrent systems. PhD thesis, Polytechnic University of Catalonia, Spain, 2014. [doi]

No reviews for this publication, yet.