scientific article; zbMATH DE number 1836414
From MaRDI portal
Publication:4782099
zbMATH Open1052.68070MaRDI QIDQ4782099
Karl Svozil, Elena Calude, Cristian S. Calude
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recommendations
- On the Complexity of the Equivalence Problem for Probabilistic Automata π π
- Probabilistic Automata and Probabilistic Logic π π
- Compositional Abstraction Techniques for Probabilistic Automata π π
- Universal aspects of probabilistic automata π π
- Validation of Stochastic Systems π π
- CONCUR 2003 - Concurrency Theory π π
- Unnamed Item π π
- Unnamed Item π π
- Unnamed Item π π
- Unnamed Item π π
This page was built for publication: