Author:
Mumme Malcolm,Ciardo Gianfranco
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aczel, P.: Non-Well-Founded Sets. CSLI, Stanford (1988)
2. Lecture Notes in Computer Science;A. Bouali,1993
3. Lecture Notes in Computer Science;M.Y. Chung,2006
4. Ciardo, G., et al.: SMART: Stochastic Model checking Analyzer for Reliability and Timing, User Manual,
http://www.cs.ucr.edu/~ciardo/SMART/
5. Dolev, D., Klawe, M., Rodeh, M.: An O(n logn) unidirectional distributed algorithm for extrema finding in a circle. J. of Algorithms 3(3), 245–260 (1982)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leapfrog: certified equivalence for protocol parsers;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Two-layer symbolic representation for stochastic models with phase-type distributed events;International Journal of Systems Science;2013-08-20
3. SMT-Based Bisimulation Minimisation of Markov Models;Lecture Notes in Computer Science;2013