Conference paper
A quantitative analysis of OS noise
Alessandro Morari, Roberto Gioiosa, et al.
IPDPS 2011
Paper
An elementary proof of the completeness of PDL
Abstract
We give an elementary proof of the completeness of the Segerberg axions for Propositional Dynamic Logic. © 1981.
Related
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design