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 条
12345