Oliver B{\o}ving

Identifiers

No identifiers captured yet.

Papers (1)

1. Weighted NetKAT: A Programming Language For Quantitative Network Verification cs.PL · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandra Silva 1 shared papers
• Emmanuel Su\'arez Acevedo 1 shared papers
• Kevin Batz 1 shared papers
• Nate Foster 1 shared papers
• Tiago Ferreira 1 shared papers