When Not Losing Is Better than Winning: Abstraction and Refinement for the Full $μ$-Calculus
| Title | When Not Losing Is Better than Winning: Abstraction and Refinement for the Full $μ$-Calculus |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Grumberg, O, Lange, M, Leucker, M, Shoham, S |
| Journal | Information and Computation |
| Volume | 205 |
| Pagination | 1130–1148 |
| Date Published | aug |
| URL | http://dx.doi.org/10.1016/j.ic.2006.10.009 |
Bibtex:
@article {GrumbergLLS07,
title = {When Not Losing Is Better than Winning: Abstraction and Refinement for the Full $μ$-Calculus},
journal = {Information and Computation},
volume = {205},
number = {8},
year = {2007},
month = {aug},
pages = {1130{\textendash}1148},
url = {http://dx.doi.org/10.1016/j.ic.2006.10.009},
author = {Orna Grumberg and Martin Lange and Martin Leucker and Sharon Shoham}
}Postscript:
