Author:
Gainer Paul,Linker Sven,Dixon Clare,Hustadt Ullrich,Fisher Michael
Publisher
Springer International Publishing
Reference19 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183–235 (1994)
2. Amin, S., Elahi, A., Saghar, K., Mehmood, F.: Formal modelling and verification approach for improving probabilistic behaviour of robot swarms. In: Proceedings of IBCAST 2017, pp. 392–400. IEEE (2017)
3. Bartocci, E., Corradini, F., Merelli, E., Tesei, L.: Detecting synchronisation of biological oscillators by model checking. TCS 411(20), 1999–2018 (2010)
4. Bojic, I., Podobnik, V., Ljubi, I., Jezic, G., Kusek, M.: A self-optimizing mobile network: auto-tuning the network with firefly-synchronized agents. Inf. Sci. 182(1), 77–92 (2012)
5. Breza, M.: Bio-inspired tools for a distributed wireless sensor network operating system. Ph.D. thesis, Imperial College London, March 2013
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献