Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
IEEE Transactions on Parallel and Distributed Systems
Hi-index | 0.00 |