国家工程技术图书馆第一分馆 | 机械分馆 | 机械工业信息研究院 | library.gmachineinfo.com

期刊

ISSN	0304-3975
刊名	Theoretical Computer Science
参考译名	理论计算机科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete	Pedro Adao; Paulo Mateus; Luca Vigano	2014	2014, vol.538
Real-reward testing for probabilistic processes	Yuxin Deng; Rob van Glabbeek; Matthew Hennessy; Carroll Morgan	2014	2014, vol.538
Local abstraction refinement for probabilistic timed programs	Klaus Drager; Marta Kwiatkowska; David Parker; Hongyang Qu	2014	2014, vol.538
The quantitative linear-time-branching-time spectrum	Uli Fahrenberg; Axel Legay	2014	2014, vol.538
Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes	Sergio Giro	2014	2014, vol.538
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms	Sergio Giro; Pedro R. D'Argenio; Luis Maria Ferrer Fioriti	2014	2014, vol.538
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time	Henri Hansen; Mark Timmer	2014	2014, vol.538
Precise quantitative information flow analysis - a symbolic approach	Vladimir Klebanov	2014	2014, vol.538
Exact fluid lumpability in Markovian process algebra	Max Tschaikowski; Mirco Tribastone	2014	2014, vol.538
Quantitative information flow as safety and liveness hyperproperties	Hirotoshi Yasuoka; Tachio Terauchi	2014	2014, vol.538