×

找到26个文档（结果1-26）

最新的 引文 关联
罗布·范格拉贝克

关于过渡系统规范的含义。 （英语） Zbl 07449995号

Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300，69-85（2019）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，电子。程序。西奥。计算。科学。（EPTCS）300，69-85（2019；Zbl 07449995）
全文： arXiv公司 链接
瓦伦蒂娜·卡斯蒂格利奥尼;丹尼尔·格布勒;蒂妮，西蒙

基于SOS的非确定性概率过程的模态分解。 （英语） Zbl 1448.68333号

日志。计算方法。科学。 14，第2号，第18号论文，51页（2018）.
MSC公司：68问题85 03B45号 68问题55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛V.Castiglioni｝等人，日志。计算方法。科学。14，第2号，第18号论文，51页（2018；Zbl 1448.68333）
全文： 内政部 arXiv公司
法比奥·马蒂内利;伊拉里亚·马特尤奇;弗朗西斯科·桑蒂尼

每个问题都有两面性。控制器与攻击者。 （英语） 兹比尔1434.68332

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 304-318 (2015).
MSC公司：68问题85 03B70号 68平方米25 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Martinelli}等人，Lect。注释计算。科学。9465、304--318（2015年；Zbl 1434.68332）
全文： 内政部
卢卡·埃特罗;Anna Ingólfsdóttir;克里斯蒂安·普里萨卡里奥;约书亚·萨克

多模态逻辑的组合推理。 （英语） Zbl 1419.03019号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 1-15 (2013).
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛L.Aceto｝等人，Lect。注释计算。科学。7734，1-15（2013；Zbl 1419.03019）
全文： 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森、汉内·里斯

反应语义的主动评估上下文。 （英语） Zbl 1277.68127号

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，57-70（2007）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Pilegaard}等人，《电子》。注释Theor。计算。科学。175，第1号，57--70（2007；Zbl 1277.68127）
全文： 内政部
安徒生，约根·H·。;Kristoffersen，Káre J。;Larsen，Kim G。;杰斯珀·尼德曼

实时系统的自动合成。 （英语） Zbl 1412.68136号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 535-546 (1995).
MSC公司：第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Andersen}等人，Lect。注释计算。科学。944535-546（1995年；Zbl 1412.68136）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件