Hui Feng Promovendus/ gast Naam H. Feng MSc Telefoon +31 71 527 4799 E-mail h.feng@liacs.leidenuniv.nl ORCID iD null Promovendus/ gast Wiskunde en Natuurwetenschappen Leiden Inst of Advanced Computer Science Werkadres Gorlaeus Gebouw 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 Geen relevante nevenwerkzaamheden