Jitka Žídková

2003

Luboš Brim and Jitka Žídková:
Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking,
2st International Workshop on Parallel and Distributed Model Checking (PDMC 2003), Elsevier, 2003, 19-34. [bibtex, url]