Pnueli, Amir: The Temporal Logic of Reactive and Concurrent Systems
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
The Temporal Logic of Reactive and Concurrent Systems: Specification
Medimops DE
14-06-2026 05:44:15
Gesponsert
SpringerLink DE
The Temporal Logic of Reactive and Concurrent Systems
SpringerLink DE
14-06-2026 09:59:16
