K. Bae
发表
Kyungmin Bae,
K. Bae,
2014
.
Jaeseo Lee,
K. Bae,
Sangki Kim,
2022,
FTSCS.
José Meseguer,
Kyungmin Bae,
J. Meseguer,
2012,
RULE.
Peter Csaba Ölveczky,
Kyungmin Bae,
P. C. Ölveczky,
2018,
Lecture Notes in Computer Science.
H. Vangheluwe,
C. Talcott,
M. Hills,
2021,
Composing Model-Based Analysis Tools.
H. Vangheluwe,
C. Talcott,
M. Hills,
2021,
Composing Model-Based Analysis Tools.
José Meseguer,
Kyungmin Bae,
J. Meseguer,
2010,
WRLA.
José Meseguer,
Santiago Escobar,
Kyungmin Bae,
2013,
RTA.
Peter Csaba Ölveczky,
Edward A. Lee,
Stavros Tripakis,
2012,
Sci. Comput. Program..
Peter Csaba Ölveczky,
Kyungmin Bae,
P. C. Ölveczky,
2010,
RTRTS.
Peter Csaba Ölveczky,
Stavros Tripakis,
Kyungmin Bae,
2009,
ICFEM.
José Meseguer,
Kyungmin Bae,
J. Meseguer,
2015,
Sci. Comput. Program..
José Meseguer,
Kyungmin Bae,
J. Meseguer,
2014,
RTA-TLCA.
P. C. Ölveczky,
Jaime Arias,
L. Petrucci,
2023,
Petri Nets.
P. C. Ölveczky,
K. Bae,
Jaime Arias,
2024,
ArXiv.
Kyungmin Bae,
Camilo Rocha,
C. Rocha,
2019,
Sci. Comput. Program..
Peter Csaba Ölveczky,
José Meseguer,
Kyungmin Bae,
2015,
Sci. Comput. Program..
Kyungmin Bae,
Jia Lee,
K. Bae,
2019,
Proc. ACM Program. Lang..
Kyungmin Bae,
Su Liu,
Xudong He,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).