Author:
Hillston J.,Tribastone M.,Gilmore S.
Publisher
Oxford University Press (OUP)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An architecture for control plane slicing in beyond 5G networks;Computer Networks;2024-07
2. A Product-form Network for Systems with Job Stealing Policies;ACM Transactions on Modeling and Performance Evaluation of Computing Systems;2024-03-18
3. A Flexible Architecture for Broadcast Broadband Convergence in Beyond 5G;2023 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS);2023-12-17
4. Approximate Constrained Lumping of Polynomial Differential Equations;Computational Methods in Systems Biology;2023
5. Multi-scale verification of distributed synchronisation;Formal Methods in System Design;2020-09-20