SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems: Foreword

被引：0

|

作者：

Huisman, Marieke

Aldrich, Jonathan

Barnett, Mike

Giannakopoulou, Dimitra

Leavens, Gary T.

Sharygina, Natasha

机构：

来源：

SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems | 2009年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] Proceedings 8th International Workshop on Parallel and Distributed Methods in verification Eindhoven, The Netherlands, 4th November 2009 Preface
Brim, Lubos
van de Pol, Jaco
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (14):
[22] EuroITV'10 - Proceedings of the 8th International Interactive TV and Video Conference: Foreword
Lugmayr, Artur
Vuorimaa, Petri
Näränen, Pertti
Quico, Celia
Harboe, Gunnar
EuroITV'10 - Proceedings of the 8th International Interactive TV and Video Conference, 2010,
[23] Conservation and ecology of woodpeckers. Foreword to the 8th International Woodpecker Conference Proceedings
Walters, Eric L.
Robles, Hugo
Czeszczewik, Dorota
Perktas, Utku
Pasinelli, Gilberto
ACTA ORNITHOLOGICA, 2020, 55 (01) : 61 - 62
[24] Proceedings of the 8th International Workshop on Oceanography and Fisheries Science of the East China Sea
James Davis Reimer
Shoichiro Suda
Journal of Oceanography, 2012, 68 : 815 - 816
[25] Proceedings of the 8th International Conference on Beauty, Charm and Hyperons in Hadronic Interactions Foreword
Kalman, C. S.
NUCLEAR PHYSICS B-PROCEEDINGS SUPPLEMENTS, 2009, 187 : 1 - 1
[26] Proceedings of the 8th Biennial International Workshop "Fullerences and Atomic Clusters" - Guest editorial
Lemanov, Vladislav V.
Vul, Alexander Ya.
FULLERENES NANOTUBES AND CARBON NANOSTRUCTURES, 2008, 16 (5-6) : 283 - 284
[27] Proceedings of the 8th International Workshop on Oceanography and Fisheries Science of the East China Sea
Reimer, James Davis
Suda, Shoichiro
JOURNAL OF OCEANOGRAPHY, 2012, 68 (06) : 815 - 816
[28] Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09: Foreword
Südholt, Mario
Proceedings of the 2009 Workshop on Foundations of Aspect-Oriented Languages, FOAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09, 2009,
[29] 8th International Parallel Data Systems Workshop (PDSW 2023)
Zhou, Amelie Chi
Xie, Bing
Byna, Suren
ACM International Conference Proceeding Series, 2023,
[30] 8TH INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS
NISHIDA, T
TOMIYAMA, T
KIRIYAMA, T
AI MAGAZINE, 1995, 16 (02) : 7 - 8

← 1 2 3 4 5 →