scientific article; zbMATH DE number 1324655
From MaRDI portal
Publication:4255554
zbMath0920.68075MaRDI QIDQ4255554
Publication date: 17 August 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=22#22005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
On fairness and randomness ⋮ Balanced Paths in Colored Graphs ⋮ On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ Quantitative Analysis under Fairness Constraints
This page was built for publication:
