Yazar
Fischer, Bernd. editor.
Format:
Electronic Resources
Alıntı:
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November
View Other Search Results
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea
Yazar
Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
Format:
Electronic Resources
Alıntı:
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South
Yazar
Chamberlain, Roger. editor.
Format:
Electronic Resources
Alıntı:
, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / Chamberlain, Roger. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: