External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The construction of controllable sublanguage of specification for DES via PCFs based inference

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. The construction of controllable sublanguage of specification for DES via PCFs based inference. In Igor Bychkov, Andrei Tchernykh, Alexander G. Feoktistov, editors, Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2020, Irkutsk, Russia, July 6-7, 2020. Volume 2638 of CEUR Workshop Proceedings, pages 68-78, CEUR-WS.org, 2020. [doi]

Authors

Artem Davydov

This author has not been identified. Look up 'Artem Davydov' in Google

Aleksandr Larionov

This author has not been identified. Look up 'Aleksandr Larionov' in Google

Nadezhda V. Nagul

This author has not been identified. Look up 'Nadezhda V. Nagul' in Google
runs on