Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  - 

领  域:  

论文统计图
最新的论文更多>>
Optimal Bounds for Multiweighted and Parametrised Energy Games  
Line Juhl , Kim Guldstrand Larsen , Jean-francois Raskin
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
The Value-Passing Calculus  
Yuxi Fu
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
Set-Theoretic Models of Computations  
Jean-Raymond Abrial
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
Managing Environment and Adaptation Risks for the Internetware Paradigm  
Jian Lu , Yu Chieh Huang , Chang Xu , Xiaoxing Ma
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
Pliant Modalities in Hybrid Event-B  
Richard Banach
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Michael J. Butler
University of Southampton
 
Bernhard K. Aichernig
Graz University of Technology
 
Cong Tian
Xidian University
 
Yifeng Chen
 
Jean-francois Raskin
Université Libre de Bruxelles
 
Feedback
Feedback
Feedback
我想反馈:
排行榜