Ilham W. Kurnia. An Automata-Theoretic Approach to Open Actor System Verification. PhD thesis, University of Kaiserslautern, 2015. [doi]
@phdthesis{dnb-2913, title = {An Automata-Theoretic Approach to Open Actor System Verification}, author = {Ilham W. Kurnia}, year = {2015}, url = {http://d-nb.info/106820785X}, researchr = {https://researchr.org/publication/dnb-2913}, cites = {0}, citedby = {0}, school = {University of Kaiserslautern}, }