Software - Practice and Experience （SPE） - Issue 240 论文列表
| 点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息 |
| 卷期号： Issue 240 |
| 发布时间： |
| 卷期年份： 1996 |
| 卷期官网： |
本期论文列表
EASE: A Software Environment for Automatic Implementation of Application Protocol.
Formal Validation of a High Performance Error Control Protocol using SPIN.
Blackboard-based Extensions in Prolog.
Implementing Atomic Sequences on Uniprocessors Using Rollforward.
An Improved Algorithm for Identifying Objects in Code.
Synchronization in Specification-based Multimedia Presentations.