A temporal logic-based hierarchical network connectivity controller

From MaRDI portal
Publication:6567486