scientific article; zbMATH DE number 1836414

MaRDI QIDQ4782099zbMATH OpenFDO

Authors Elena Calude, Karl Svozil, Cristian S. Calude

Publication date 2001

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• CONCUR 2003 - Concurrency Theory
• Compositional abstraction techniques for probabilistic automata
• Validation of Stochastic Systems
• Probabilistic automata and probabilistic logic
• scientific article; zbMATH DE number 1452987
• scientific article; zbMATH DE number 20623
• On the Complexity of the Equivalence Problem for Probabilistic Automata
• scientific article; zbMATH DE number 1809724
• scientific article; zbMATH DE number 3240399
• Universal aspects of probabilistic automata

Cited in

(4)

• scientific article; zbMATH DE number 1236368 (Why is no real title available?)
• scientific article; zbMATH DE number 1775501 (Why is no real title available?)
• Computational complementarity
• scientific article; zbMATH DE number 2162200 (Why is no real title available?)

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