scientific article; zbMATH DE number 1836353

zbMath1009.68077MaRDI QIDQ4782022

Sophie Pinchinat, Hervé Marchand

Publication date: 27 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symbolic bisimulationsintensional transition systems

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

This page was built for publication: