Fail-awareness in timed asynchronous systems

Authors:
Christof Wolfgang Fetzer
Affiliations:
-
Venue:
Fail-awareness in timed asynchronous systems
Year:
1997

Citing 0
Cited 1

Verification of a Leader Election Algorithm in Timed Asynchronous Systems

FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract