scientific article; zbMATH DE number 3626891
From MaRDI portal
Publication:4189019
zbMath0403.90030MaRDI QIDQ4189019
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Numerical mathematical programming methods (65K05) Deterministic network models in operations research (90B10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: