ECCS and LIPS: two languages for OSI systems specification and verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simulation of communications architecture specifications using Prolog
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Simulation of communications architecture specifications using Prolog
ACM SIGAPP Applied Computing Review
Hi-index | 0.00 |