Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2015.2468717
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 1, 2016
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)