Hui Feng PhD candidate/ guest Name H. Feng MSc Telephone +31 71 527 4799 E-mail h.feng@liacs.leidenuniv.nl ORCID iD null PhD candidate/ guest Science Leiden Inst of Advanced Computer Science Work address Gorlaeus Building Einsteinweg 55 2333 CC Leiden Contact +31 71 527 4799 h.feng@liacs.leidenuniv.nl JavaScript is required to view this content. Feng H., Bonsangue M.M. & Lion B. (2022), From symbolic constraint automata to Promela, Journal of Logical and Algebraic Methods in Programming 128: 100794. 'Refereed' artikel in tijdschrift No relevant ancillary activities