scientific article

zbMath0428.68038MaRDI QIDQ3865459

H. Widjaja

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program graphspartitioning of weighted graphsoptimization of process behaviour

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

An effective structured approach to finding optimal partitions of networks

This page was built for publication: