[ACM Press the 14th International Conference - Heraklion,...

  • Main
  • [ACM Press the 14th International...

[ACM Press the 14th International Conference - Heraklion, Greece (2018.12.04-2018.12.07)] Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '18 - Verification of P4 programs in feasible time using assertions

Neves, Miguel, Freire, Lucas, Schaeffer-Filho, Alberto, Barcellos, Marinho
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2018
Language:
english
DOI:
10.1145/3281411.3281421
File:
PDF, 1.80 MB
english, 2018
Conversion to is in progress
Conversion to is failed