scientific article
From MaRDI portal
Publication:2842856
zbMath1270.68232MaRDI QIDQ2842856
No author found.
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105803949
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Distributed disk-based algorithms for model checking very large Markov chains ⋮ Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors ⋮ Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models
This page was built for publication:
