Ranko Perovic
发表
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
IHI '12.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2012,
RTA.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2017,
Math. Struct. Comput. Sci..