PAWS: a tool for the analysis of weighted systems

DOI10.4204/EPTCS.250.5MaRDI QIDQ7021646zbMATH OpenFDO

Authors Barbara König, Sebastian Küpper, Christina Mika

Publication date 26 February 2025

Copyright license Creative Commons Attribution 3.0 Unported

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Symbolic computation and algebraic computation (68W30)

This page was built for publication: PAWS: a tool for the analysis of weighted systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021646)