151 search results - page 31 / 31 » Modular Construction of Modal Logics |
CASES
2006
ACM
13 years 10 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...