ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Hi-index | 0.00 |