Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT
Yazdır
1. 
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
by 
Cassez, Franck. editor.
https://doi.org/10.1007/978-3-319-11936-6
Format: 
Alıntı: 
, Australia, November 3-7, 2014, Proceedings / Cassez, Franck. editor.
2. 
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
by 
Cassez, Franck. editor.
https://doi.org/10.1007/978-3-540-85778-5
Format: 
Alıntı: 
Malo, France, September 15-17, 2008, Proceedings / Cassez, Franck. editor.