• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Discrete vs. Dense Times in the Verification of Cyber-Physical Security Protocols

P. 259-279.
Kanovich M., Scedrov A., Kirigin T. B., Nigam V., Talcott C.

В книге

Под науч. редакцией: R. Focardi, A. Myers. Vol. 9036. L.: Springer, 2015.