scientific article; zbMATH DE number 1836414
From MaRDI portal
Publication:4782099
zbMATH Open1052.68070MaRDI QIDQ4782099FDOQ4782099
Authors: Elena Calude, Karl Svozil, Cristian S. Calude
Publication date: 2001
Title of this publication is not available (Why is that?)
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)
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)