Author:
Bošnački Dragan,Edelkamp Stefan,Sulewski Damian,Wijs Anton
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference44 articles.
1. Allmaier, S.C., Kowarschik, M., Horton, G.: State space construction and steady-state solution of GSPNs on a Shared-Memory Multiprocessor. In: Proceedings of 7th Intt. Workshop on Petri Nets and Performance Models (PNPM’97), pp. 112–121. IEEE Comp. Soc. Press (1997)
2. Baier C., Katoen J.-P.: Principles of Model Checking, pp. 950. MIT Press, Cambridge (2008)
3. Baier C., Katoen J.-P., Hermanns H., Haverkort B.: Model-checking algorithms for contiuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524–541 (2003)
4. Bal, H., Barnat, J., Brim, L., Verstoep, K.: Efficient large-scale model checking. In: IEEE International Parallel & Distributed Processing Symposium (IPDPS) (2009)
5. Barnat, J., Brim, L., Ceska, M., Lamr, T.: CUDA accelerated LTL model checking. In: Proceedings of international conference on parallel and distributed systems (ICPADS), pp. 34–41 (2009)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献