Yazar
Pitts, Andrew. editor.
Format:
Electronic Resources
Alıntı:
, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Real-Time Component-based Systems -- TcT: Tyrolean Complexity Tool -- Integrated Environment for Diagnosing
Arama Sonuçlarını Sınırlandır
Daraltılmış: