مرکز منطقه ای اطلاع رساني علوم و فناوري - When not losing is better than winning: Abstraction and refinement for the full μ-calculus

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 :

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 :