Title of article :
Model Checking for Combined Logics with an Application to Mobile Systems
Author/Authors :
Massimo Franceschet، نويسنده , , Angelo Montanari and Maarten de Rijke ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
model checking , combined logics , Temporal logic , mobile systems
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
