One of the interesting characterist

One of the interesting characteristics of dCTL- is the possibility of distinguishing between formulas that state properties of good executions and the standard formulas, which state properties over all possible executions.

Kết quả (Việt) 1:

Một trong những đặc điểm thú vị của dCTL - là khả năng phân biệt giữa công thức nhà nước các tài sản tốt vụ hành quyết và công thức tiêu chuẩn, mà nhà nước thuộc tính trên tất cả các vụ xử tử có thể.

Kết quả (Việt) 2:

Một trong những đặc điểm thú vị của dCTL- là khả năng phân biệt giữa các công thức mà tài sản nhà nước của hành tốt và các công thức chuẩn, trong đó tài sản nhà nước trên tất cả các vụ hành quyết có thể.