مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Mark, a Reasoning Kit for Mobility

Author/Authors :

GianLuigi Ferrari، نويسنده , , C. Montangero، نويسنده , , L. Semini and S. Semprini ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

137

To page :

150

Keywords :

formal methods , Mobile computing , Theorem proving

Journal title :

Automated Software Engineering

Serial Year :

2002

Journal title :

Automated Software Engineering

Record number :

307093

Link To Document :