Title of article
When not losing is better than winning: Abstraction and refinement for the full μ-calculus
Author/Authors
Orna Grumberg، نويسنده , , Martin Lange، نويسنده , , Martin Leucker، نويسنده , , Sharon Shoham، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
19
From page
1130
To page
1148
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
333744
Link To Document