On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erick Petersen, Jorge López, Natalia Kushik, Claude Poletti, Djamal Zeghlache. On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators: (Work in Progress). In 19th IEEE International Symposium on Network Computing and Applications, NCA 2020, Cambridge, MA, USA, November 24-27, 2020. pages 1-3, IEEE, 2020. [doi]

This author has not been identified. Look up 'Erick Petersen' in GoogleThis author has not been identified. Look up 'Jorge López' in GoogleThis author has not been identified. Look up 'Natalia Kushik' in GoogleThis author has not been identified. Look up 'Claude Poletti' in GoogleThis author has not been identified. Look up 'Djamal Zeghlache' in Google

runs on WebDSL