𝔖 Bobbio Scriptorium

✦ LIBER ✦

Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation

✍ Scribed by Silvia Crafa; Francesco Ranzato

Book ID: 113065885
Publisher: Springer
Year: 2012
Tongue: English
Weight: 1006 KB
Volume: 40
Category: Article
ISSN: 0925-9856
DOI: 10.1007/s10703-012-0147-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 3rd International Conference

[IEEE 2012 3rd International Conference on Intelligent Systems, Modelling and Simulation (ISMS) - Kota Kinabalu, Malaysia (2012.02.8-2012.02.10)] 2012 Third International Conference on Intelligent Systems Modelling and Simulation - A New Algorithm for Shape Reconstruction by the Computational Geometry Approach

✍ Nourollah, A.; Hosseini, S. 📂 Article 📅 2012 🏛 IEEE ⚖ 222 KB

[IEEE 2010 12th International Conference

[IEEE 2010 12th International Conference on Computer Modelling and Simulation - Cambridge, United Kingdom (2010.03.24-2010.03.26)] 2010 12th International Conference on Computer Modelling and Simulation - Short Term Load Forecasting Using an Artificial Neural Network Trained by Artificial Immune System Learning Algorithm

✍ Hamid, M.B. Abdul; Rahman, T.K. Abdul 📂 Article 📅 2010 🏛 IEEE ⚖ 542 KB