Formal manipulation of modular software systems
Conference proceedings on Formal methods in software development
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Hi-index | 0.00 |