scientific article; zbMATH DE number 1104399
From MaRDI portal
Publication:4370285
zbMATH Open0885.68046MaRDI QIDQ4370285
Publication date: 14 January 1998
Title of this publication is not available (Why is that?)
Related Items (1)
Uses Software
Recommendations
- Innovative computing and detailed properties of elementary reactions using time independent approaches 👍 👎
- A calculational approach to reactive systems 👍 👎
- Reactive \(n\)-species Cahn-Hilliard system: a thermodynamically-consistent model for reversible chemical reactions 👍 👎
- A calculus of chemical systems 👍 👎
- Superposition refinement of reactive systems 👍 👎
- The refinement calculus of reactive systems 👍 👎
- Diagram refinements for the design of reactive systems 👍 👎
- Towards Quantitative Verification of Reaction Systems 👍 👎
- Reaction Systems and Enabling Equivalence 👍 👎
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 Q4370285)
