Title of article
Mark, a Reasoning Kit for Mobility
Author/Authors
GianLuigi Ferrari، نويسنده , , C. Montangero، نويسنده , , L. Semini and S. Semprini ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
14
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