Software - Practice and Experience （SPE） - Issue 223 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 223 |
| 发布时间： |
| 卷期年份： 1994 |
| 卷期官网： |
本期论文列表
A Matrix Model for the Flow of Control in Prolog Programs with Applications to Profiling.
An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols.
Experience Realising a Meta-model for Wide System Understanding: The Global System Model.
Synthetic-perturbation Techniques for Screening Shared Memory Programs.