Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Su, Guoxin (2014) Perturbation analysis in verification of discrete-time Markov chains. CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. In: 25th Conference on Concurrency Theory (CONCUR 2014), 2-5 Sept 2014, Rome, Italy. ISBN 9783662445839. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-662-44584-6_16)

This list was generated on Wed Nov 30 05:00:18 2022 GMT.