scientific article
DOI10.4230/LIPIcs.OPODIS.2016.18zbMath1432.68052arXiv1608.08483MaRDI QIDQ3174943
Bingtian Xue, Stefan Schmid, Kim Guldstrand Larsen
Publication date: 18 July 2018
Full work available at URL: https://arxiv.org/abs/1608.08483
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationreachabilitydecidabilityweighted automatasoftware-defined networkingNetKATservice chainsstateful processing
Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Uses Software
This page was built for publication:
