[IEEE 2017 IEEE 14th International Scientific Conference on Informatics - Poprad (2017.11.14-2017.11.16)] 2017 IEEE 14th International Scientific Conference on Informatics - SAT-based verification of NSPK protocol including delays in the network
Szymoniak, Sabina, Siedlecka-Lamch, Olga, Kurkowski, MiroslawYear:
2017
Language:
english
DOI:
10.1109/INFORMATICS.2017.8327280
File:
PDF, 767 KB
english, 2017