Dealing with Different Time Scales in Formal Specifications
CORSETTI E
•
CRIVELLI E
•
MANDRIOLI D
altro
MONTANARI, Angelo
1991
Archivio
Diritti
metadata only access