Return to Article Details
Темпоральные логики для спецификации свойств программных и аппаратных систем
Download
Download PDF