Local Parallel Model Checking for the Alternation Free µ-Calculus (2001)

Cached

Download Links

by Benedikt Bollig , Benedikt Bollig , Martin Leucker , Martin Leucker , Michael Weber , Michael Weber
Venue:Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01), volume 2031 of LNCS
Citations:32 - 6 self