共 50 条
- [32] Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems Vienna, Austria, 8 July 2016 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (217): : 1 - 3
- [35] Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications Singapore, 13th May 2014 Preface [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156):
- [36] PROCEEDINGS OF THE 5TH INTERNATIONAL VACUUM MICROELECTRONICS CONFERENCE - 13-17 JULY 1992 HOTEL CHATEAU WILHELMINENBERG VIENNA, AUSTRIA [J]. JOURNAL OF VACUUM SCIENCE & TECHNOLOGY B, 1993, 11 (02): : 351 - 351
- [37] Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014 [J]. Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014, 2014,
- [39] Preface: Proceedings of the 13th International Conference on Ion Sources, Gatlinburg, Tennessee, USA, 2009 [J]. REVIEW OF SCIENTIFIC INSTRUMENTS, 2010, 81 (02):