scientific article; zbMATH DE number 1836402

MaRDI QIDQ4782087zbMATH OpenFDO

Authors Marko M. Mäkelä

Publication date 24 April 2003

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Describes a project that uses

Uses Software

• Maria

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 Q4782087)