16 search results - page 4 / 4 » Bus Protocols: MSC-Based Specifications and Translation into... |
PEPM
2010
ACM
13 years 6 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...