Cyriac Aiswarya. Model Checking Dynamic Distributed Systems. In Ahmed Bouajjani, Hugues Fauconnier, editors, Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. Volume 9466 of Lecture Notes in Computer Science, pages 48-61, Springer, 2015. [doi]
@inproceedings{Aiswarya15, title = {Model Checking Dynamic Distributed Systems}, author = {Cyriac Aiswarya}, year = {2015}, doi = {10.1007/978-3-319-26850-7_4}, url = {http://dx.doi.org/10.1007/978-3-319-26850-7_4}, researchr = {https://researchr.org/publication/Aiswarya15}, cites = {0}, citedby = {0}, pages = {48-61}, booktitle = {Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers}, editor = {Ahmed Bouajjani and Hugues Fauconnier}, volume = {9466}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-26849-1}, }