A Temporal Logic for Real-Time Partial-Ordering with Named Transactions
Resource
Latin American Theoretical Informatics Symposium, Santiago, Chile(1995.04)
Journal
Latin American Theoretical Informatics Symposium
Pages
-
Date Issued
1995-04
Date
1995-04
Author(s)
Description
Santiago, Chile