Model Checking for Combined Logics
FRANCESCHET, Massimo
•
MONTANARI, Angelo
•
M. DE RIJKE
2000
Archivio
Diritti
metadata only access