by Banach, Richard, Zhu, Huibiao, Su, Wen, Huang, Runlei
Published in Electronic proceedings in theoretical computer science (17.06.2011)

by Banach, Richard, Zhu, Huibiao, Su, Wen, Huang, Runlei
Published in Formal aspects of computing (01.03.2014)

by Su, Wen, Abrial, Jean-Raymond, Huang, Runlei, Zhu, Huibiao
Published in Formal Methods and Software Engineering

by GUO SHIWAN, WANG TAO, HUANG RUNLEI, MA YUYING, LIN ZEHUI, GUAN QIANRU, ZHANG HAOTIAN, WANG HAOXIAN
Year of Publication 30.07.2024

by Banach, Richard, Zhu, Huibiao, Su, Wen, Huang, Runlei
Published in arXiv.org (21.06.2011)

by HUANG RUNLEI, ZHANG XIAOLIN, YAO JUN, GONG RONGHAI
Year of Publication 25.02.2015

by WANG PEICHEN, SHEN BOHAN, HUANG RUNLEI, LIN CHAOHUI, WEI JIN, GU XUAN, LI YUNZHOU, CHEN ZHENG, ZHAO CHUANZHI, HU YUHUA
Year of Publication 22.09.2023

by KONG LINGFA, HUANG RUNLEI
Year of Publication 27.03.2013

by HUANG RUNLEI, GONG RONGHAI
Year of Publication 20.03.2013

by WANG YE, HUANG RUNLEI
Year of Publication 27.03.2013

by HUANG RUNLEI, ZHANG XIAOLIN, YAO JUN, GONG RONGHAI
Year of Publication 27.02.2013

by KONG LINGFA, HUANG RUNLEI, WANG QINGSHENG, ZHENG NA, GONG RONGHAI
Year of Publication 13.03.2013