.Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /.,.
复制引文到剪贴板
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。