Publication:4255554
From MaRDI portal
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On fairness and randomness, On the use of MTBDDs for performability analysis and verification of stochastic systems., Balanced Paths in Colored Graphs, Quantitative Analysis under Fairness Constraints