scientific article; zbMATH DE number 3626891
From MaRDI portal
Publication:4189019
zbMATH Open0403.90030MaRDI QIDQ4189019FDOQ4189019
Publication date: 1979
Title of this publication is not available (Why is that?)
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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4189019)
