Introductory paper

被引：0
|
作者：
Paolo Bottoni
Mark Minas
机构：
[1] Università “La Sapienza”,Dipartimento di Scienze dell’Informazione
[2] University of the Federal Armed Forces Munich,Department of Computer Science
来源：
Software & Systems Modeling | 2004年 / 3卷 / 2期
关键词：
Model Check; Special Section; Sequence Diagram; Formal Semantic; Graph Transformation;
D O I：
10.1007/s10270-003-0049-3
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：83 / 84
页数：1
相关论文
共 50 条
  • [1] Introductory paper
    Iyer S.P.
    Hislop D.
    Jones P.L.
    Lee J.
    Pearce F.
    Van Albert S.
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (4) : 299 - 300
  • [2] Introductory paper
    Luboš Brim
    Orna Grumberg
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (1) : 1 - 3
  • [3] Introductory paper
    Andy Schürr
    Heiko Dörr
    [J]. Software & Systems Modeling, 2005, 4 (2) : 109 - 111
  • [4] Introductory paper
    Tronci E.
    [J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 355 - 358
  • [5] Introductory paper
    Jaco van de Pol
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 105 - 106
  • [6] The Introductory Paper
    Glebov, E. M.
    Razumov, V. F.
    [J]. HIGH ENERGY CHEMISTRY, 2023, 57 (SUPPL 3) : S385 - S385
  • [7] Introductory Paper
    E. M. Glebov
    V. F. Razumov
    [J]. High Energy Chemistry, 2023, 57 : S385 - S385
  • [8] Introductory paper
    Dwyer M.
    Leue S.
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 6 (4) : 257 - 259
  • [9] Introductory paper
    Thomas Arts
    Jaco van de Pol
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (3) : 195 - 196
  • [10] Introductory paper
    Margaria T.
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (4) : 293 - 296
12345