Bae，Kyungmin先生；彼得·塞巴·奥维茨基；孔顺浩；高思春；埃德蒙·克拉克（Edmund M.Clarke）。 基于SMT的虚拟同步分布式混合系统分析。 （英语） Zbl 1364.68258号 第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。145-154 (2016). 引用于三文件 MSC公司： 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 93C83号 涉及计算机的控制/观察系统（过程控制等） 关键词：分布式混合系统；PALS系统；表面贴装技术；同步器 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。145-154（2016年；Zbl 1364.68258） 全文： 内政部 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。