A Model of Guarded Recursion With Clock Synchronisation
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者Bizjak, Aleš; Møgelberg, Rasmus Ejlers
- 卷第319卷
- 印刷ISSN1571-0661
- 文件大小310.36KB
- 发表时间2015-12
- DOI10.1016/j.entcs.2015.12.007
- 页码83-101
同期刊推荐
InformaciónEnfermería Clínica · 2001
Fe de erroresEnfermería Clínica · 2003
InformaciónEnfermería Clínica · 2001
Cartas al DirectorVila Gimeno, Carmen · Enfermería Clínica · 2002
InformaciónEnfermería Clínica · 2004
InformaciónEnfermería Clínica · 2004
Fe de erroresEnfermería Clínica · 2003
Urgen respuestasMiguélez-Chamorro, Angélica · Enfermería Clínica · 2014