scientific article
From MaRDI portal
Publication:3869065
zbMath0431.90031MaRDI QIDQ3869065
Monique Guignard, Kurt Spielberg
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mixed integer programming (90C11) Deterministic scheduling theory in operations research (90B35) Reliability, availability, maintenance, inspection in operations research (90B25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items