https://ieeexplore.ieee.org/document/8888144/
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification | IEEE...
Network verification promises to detect errors, such as black holes and forwarding loops, by logically analyzing the control or data plane. To do so efficiently
theoretical frameworkpreciseexpressivelatticeefficient
https://www.kapsarc.org/our-offerings/publications/theoretical-framework-for-industrial-electricity-consumption-revisited/
Theoretical Framework for Industrial Electricity Consumption Revisited
theoretical frameworkfor industrialelectricity consumptionrevisited