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
Pages
33
From page
289
To page
321
Keywords
model checking , combined logics , Temporal logic , mobile systems
Journal title
Automated Software Engineering
Serial Year
2004
Journal title
Automated Software Engineering
Record number
307132
Link To Document