by Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in Science of computer programming (01.01.2016)

by Le, Thi Thieu Hoa, Palopoli, Luigi, Passerone, Roberto, Ramadian, Yusi
Published in International journal on software tools for technology transfer (01.06.2013)

by Thi Thieu Hoa Le, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)

by Griggio, Alberto, Le, Thi Thieu Hoa, Sebastiani, Roberto
Published in Logical methods in computer science (10.08.2012)

by Thi Thieu Hoa Le, Palopoli, L, Passerone, R, Ramadian, Y, Cimatti, A
Published in 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) (01.09.2010)

by Griggio, Alberto, Le, Thi Thieu Hoa, Sebastiani, Roberto
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Hoa Le, Thi Thieu, Passerone, Roberto
Published in 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (01.10.2014)

by Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in Theory of computing systems (07.06.2016)

by Griggio, Alberto, Thi Thieu Hoa Le, Sebastiani, Roberto
Published in arXiv.org (09.08.2012)

by Le, Thi Thieu Hoa, Passerone, Roberto, Fahrenberg, Uli, Legay, Axel
Published in Advances in Service-Oriented and Cloud Computing