Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
View Other Search Results
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: