Efficient algorithms for checking the equivalence of programs in interrupt handling models

✍ Scribed by V. L. Shcherbina; V. A. Zakharov

• Book ID: 111496995
• Publisher: Allerton Press, Inc.
• Year: 2008
• Tongue: English
• Weight: 212 KB
• Volume: 32
• Category: Article
• ISSN: 0278-6419
• DOI: 10.3103/s0278641908020064