Special issue: Synthesis and SYNT 2014

被引：0
|
作者：
Chatterjee, Krishnendu [1 ]
Ehlers, Ruediger [2 ]
机构：
[1] IST Austria, Klosterneuburg, Austria
[2] Univ Bremen, Bremen, Germany
来源：
ACTA INFORMATICA | 2017年 / 54卷 / 06期
关键词：
D O I：
10.1007/s00236-017-0299-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：543 / 544
页数：2
相关论文
共 50 条
  • [1] Special issue: Synthesis and SYNT 2014
    Krishnendu Chatterjee
    Rüdiger Ehlers
    [J]. Acta Informatica, 2017, 54 : 543 - 544
  • [2] Preface for the formal methods in system design special issue on SYNT 2021
    Elizabeth Polgreen
    Guillermo Alberto Perez
    [J]. Formal Methods in System Design, 2022, 61 : 137 - 138
  • [3] Preface for the formal methods in system design special issue on SYNT 2021
    Polgreen, Elizabeth
    Perez, Guillermo Alberto
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (2-3) : 137 - 138
  • [4] NOFOMA 2014 Special Issue
    Gammelgaard, Britta
    Prockl, Guenter
    Andreasen, Peter Holm
    Schramm, Hans-Joachim
    Wieland, Andreas
    Maalouf, Malek
    Kinra, Aseem
    [J]. INTERNATIONAL JOURNAL OF PHYSICAL DISTRIBUTION & LOGISTICS MANAGEMENT, 2015, 45 (04) : 310 - 312
  • [5] Special issue on DTIP 2014
    Marcelli, Romolo
    [J]. ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, 2015, 82 (03) : 557 - 558
  • [6] SPECIAL ISSUE: ESREF 2014
    Boit, Christian
    [J]. MICROELECTRONICS RELIABILITY, 2014, 54 (9-10) : 1637 - 1637
  • [7] Special Issue: IWBDA 2014
    Adler, Aaron
    [J]. ACS SYNTHETIC BIOLOGY, 2015, 4 (08): : 867 - 867
  • [8] BELIV 2014 Special Issue
    Lam, Heidi
    Isenberg, Petra
    Isenberg, Tobias
    Sedlmair, Michael
    [J]. INFORMATION VISUALIZATION, 2016, 15 (04) : 286 - 287
  • [9] Special Issue MESI 2014
    Du, Zhenyu
    [J]. INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2015, 11 (07) : 4 - 4
  • [10] Special Issue on BigData 2014
    Hung, Patrick
    Huang, Shih-Chia
    [J]. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2017, 14 (01) : VI - VIII
12345