Generating Exact Approximations to Model Check Concurrent Systems (2007)

Cached


by Mustapha Bourahla