Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)
Medimops DE
07-09-2026 06:00:48
Gesponsert
SpringerLink DE
Advances in Verification of Time Petri Nets and Timed Automata
SpringerLink DE
07-09-2026 11:15:51
