Publication | Closed Access

ANACAL: a program to carry out a configurational analysis of the wave function of reactive systems

EngineeringComputer EngineeringFormal MethodsProcess ControlSystems EngineeringComplex ModelingComplex Dynamic SystemModeling And SimulationConfigurational AnalysisReactive SystemsSymbolic DynamicWave FunctionReactive Language