Author:
Bakhshi Rena,Endrullis Jorg,Endrullis Stefan,Fokkink Wan,Haverkort Boudewijn
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Forever Young;Proceedings of the Twentieth ACM International Symposium on Mobile Ad Hoc Networking and Computing;2019-07-02
2. Model Checking Two Layers of Mean-Field Models;Springer Series in Reliability Engineering;2016
3. On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination;Science of Computer Programming;2015-10
4. Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates;Annals of Operations Research;2014-08-26
5. On-the-fly Fast Mean-Field Model-Checking;Trustworthy Global Computing;2014