Correction to: A linear-time branching-time perspective on interface automata

Vogler Walter; Luttgen Gerald

首页> 外文期刊>Acta Informatica >Correction to: A linear-time branching-time perspective on interface automata

【24h】

Correction to: A linear-time branching-time perspective on interface automata

机译：校正：界面自动机的线性时间分支时间透视图

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Acta Informatica》 |2021年第6期|677-677|共1页
作者
Vogler Walter; Luttgen Gerald;
展开▼
作者单位

Univ Augsburg Inst Comp Sci Augsburg Germany;

Univ Bamberg Software Technol Res Grp Bamberg Germany;

展开▼
收录信息美国《科学引文索引》(SCI);
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A linear-time branching-time perspective on interface automata [J] . Vogler Walter, Luettgen Gerald Acta Informatica . 2020,第3a5期

机译：界面自动机的线性时间分支时间透视图
2. Correction: Patients?￠?? perspectives on the medical primary?￠??secondary care interface: systematic review and synthesis of qualitative research,Patients?￠?? perspectives on the medical primary?￠??secondary care interface: systematic review and synthesis of [J] . BMJ Open . 2018,第1期

机译：更正：患者？医学初级保健的观点：二级保健接口：系统的综述和定性研究的综合，患者初级医疗二级保健接口的观点：系统回顾和综合
3. Correction: Patients?￠?? perspectives on the medical primary?￠??secondary care interface: systematic review and synthesis of qualitative research,Patients?￠?? perspectives on the medical primary?￠??secondary care interface: systematic review and synthesis of [J] . BMJ Open . 2018,第1期

机译：更正：患者？医学初级保健的观点：二级保健接口：系统的综述和定性研究的综合，患者初级医疗二级保健接口的观点：系统回顾和综合
4. BRANCHING-TIME VERSUS LINEAR-TIME: A Cooperative and Feasible Approach [C] . Norihiro Kamide International Conference on Agents and Artificial Intelligence . 2010

机译：分支时间与线性时间：合作和可行方法
5. Timetrees: A branching-time structure for modeling activity and state in the human-computer interface. [D] . Brandenburg, Jeffrey Lynn. 1995

机译：时间树：用于在人机界面中对活动和状态建模的分支时间结构。
6. Correction: Patients’ perspectives on the medical primary–secondary care interface: systematic review and synthesis of qualitative research [O] . 2018

机译：纠正：患者对医疗初级-二级护理界面的看法：系统的回顾和定性研究的综合
7. Correction: Patients’ perspectives on the medical primary–secondary care interface: systematic review and synthesis of qualitative research [O] . 2018

机译：纠正：患者对医学初级护理界面的观点：系统审查与定性研究的合成
8. Applying TAME to I/O Automata: A User's Perspective [R] . Riccobene, E. , Archer, M. , Heitmeyer, C. 2000

机译：将TamE应用于I / O自动机：用户的视角

Correction to: A linear-time branching-time perspective on interface automata

著录项

相似文献

相关主题

期刊订阅