Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Modular Algebraic Nets to Specify Concurrent Systems by
- Battiston, Eugenio
- Cindio, Florelia De
- Muri, Giancarlo
Source: IEEE Transactions on Software Engineering
Material type: Article; Format:
print
Availability: Items available for loan: Engr Abul Kalam Library (1).
|
|
|
|
|
|
|
|
|
Reliable Heterogeneous Applications by
- Taylor, Stephen
- Chapin, Steve J
- Lee, Joohan
Source: IEEE Transactions on Reliability
Material type: Article; Format:
print
Availability: Items available for loan: Engr Abul Kalam Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Timestamp Based Orphan Elimination by
- Herlihy, Maurice P
- Mckendry, Martin S
Source: IEEE Transactions on Software Engineering
Material type: Article; Format:
print
Availability: Items available for loan: Engr Abul Kalam Library (1).
|
|
|
Distributed Diagnosis andSystem User by
- Hakimi, S. Louis
- Kreutzer, Steven E
Source: IEEE Transactions on Computers
Material type: Article; Format:
print
Availability: Items available for loan: Engr Abul Kalam Library (1).
|
|
|
A Theory for Protocol Validation by
Source: IEEE Transactions on Computers
Material type: Article; Format:
print
Availability: Items available for loan: Engr Abul Kalam Library (1).
|
|
|
The Maft Architecture for Distributed Fault Tolerance by
- Kieckhafer, Roger M
- Walter, Chris J
- Finn, Alan M
- Thambidurai, Philip M
Source: IEEE Transactions on Computers
Material type: Article; Format:
print
Availability: Items available for loan: Engr Abul Kalam Library (1).
|