Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 |
![]() |
Asynchronous circuit verification using trace theory and CCS | 1992 | Text | ir_uspace |
2 |
![]() |
Measurement and simulation analysis of CO2 leakage at the crystal geyser site and reconciliation of the mechanisms for the amount of flux from the geyser and adjacent a | 2015-05 | Text | ir_etd |
3 |
![]() |
Modeling of call - by - need and stream primitives using CCS | 1982 | Text | ir_uspace |