Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney
View Other Search Results
Yazar
Grabowski, Jens. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: