Author:
Andova Suzana,Hermanns Holger,Katoen Joost-Pieter
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;A. Aziz,1996
2. Lecture Notes in Computer Science;C. Baier,2000
3. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering 29(6), 524–545 (2003)
4. Lecture Notes in Computer Science;M. Bernardo,1997
5. Bohnenkamp, H., van der Stok, P., Hermanns, H., Vaandrager, F.W.: Cost optimisation of the IPv4 zeroconf protocol. In: Intl. Conf. on Dependable Systems and Networks, IEEE CS Press, Los Alamitos (2003) (to appear)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献