TCHR

swMATH1345MaRDI QIDQ14085FDOQ14085

Author name not available (Why is that?)

Described by source

• TCHR: a framework for tabled CLP

Cited In (3)

• Thermochemical heat release of laminar stagnation flames of fuel and oxygen
• Description, implementation, and evaluation of a generic design for tabled CLP
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*

This page was built for software: TCHR